Functor Kernel.Kernel_function_set

module Kernel_function_set: 
functor (X : Input_with_arg) -> Parameter_sig.Kernel_function_set 

include Parameter_sig.Collection

A set is a collection.

Additional accessors to the set.

val mem : elt -> bool

val exists : (elt -> bool) -> bool