Module type Parameter_sig.Kernel_function_set

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.
Since Sodium-20150201
Consult the Plugin Development Guide for additional details.

include Parameter_sig.Collection

A set is a collection.

A set is a collection.

Additional accessors to the set.


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?