module Make_set: functor (
E
:
sig
include Parameter_sig.String_datatype_with_collections
val of_singleton_string : string -> Parameter_sig.Set.t
end
) ->
functor (
X
:
sig
include Parameter_sig.Input_collection
val default : E.Set.t
end
) ->
Parameter_sig.Set
with type elt = E.t and type t = E.Set.t
Parameters: |
E |
: |
sig
include String_datatype_with_collections
val of_singleton_string: string -> Set.t
end
|
X |
: |
sig include Input_collection val default: E.Set.t end
|
|
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?