module type String_set =Setwith type elt = string and type t = Datatype.String.Set.t
include Parameter_sig.Collection
A set is a collection.
val mem : elt -> boolDoes the given element belong to the set?
val exists : (elt -> bool) -> boolIs there some element satisfying the given predicate?