module Kernel_function_set: functor (X : Parameter_sig.Input_with_arg) -> Parameter_sig.Kernel_function_set
functor (
X
:
Parameter_sig.Input_with_arg
) ->
Parameter_sig.Kernel_function_set
include Parameter_sig.Collection
val mem : elt -> bool
elt -> bool
val exists : (elt -> bool) -> bool
(elt -> bool) -> bool