module type String_set = Set with type elt = string and type t = Datatype.String.Set.t
Set
with type elt = string and type t = Datatype.String.Set.t
include Parameter_sig.Collection
val mem : elt -> bool
elt -> bool
val exists : (elt -> bool) -> bool
(elt -> bool) -> bool