Functor Parameter_sig.Builder.Kernel_function_set

module Kernel_function_set: 
functor (X : Parameter_sig.Input_with_arg-> Parameter_sig.Kernel_function_set
Consult the Plugin Development Guide for additional details.
Parameters:
X : Parameter_sig.Input_with_arg

include Parameter_sig.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?