module type Kernel_function_set =Set
with type elt = Cil_types.kernel_function and type t = Cil_datatype.Kf.Set.t
Set of defined kernel functions. If you want to also include pure
prototype, use Parameter_customize.argument_may_be_fundecl
.
include Parameter_sig.Collection
A set is a collection.
val mem : elt -> bool
Does the given element belong to the set?
val exists : (elt -> bool) -> bool
Is there some element satisfying the given predicate?