module Debug_category: Parameter_sig.String_set
prints debug messages having the corresponding key.
Since Oxygen-20120901
Change in Fluorine-20130401: Set instead of list
include Parameter_sig.Collection
A set is a 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?