module type Kernel_function_set =Set
with type elt = Cil_types.kernel_function and type t = Cil_datatype.Kf.Set.t
Parameter_customize.argument_may_be_fundecl
.include Parameter_sig.Collection
val mem : elt -> bool
val exists : (elt -> bool) -> bool