Functor Parameter_sig.Builder.Make_set

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.

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?