module HiddenBases: Varinfo_set
Varinfo_set
include Parameter_sig.Collection
A set is a collection.
val mem : elt -> bool
elt -> bool
Does the given element belong to the set?
val exists : (elt -> bool) -> bool
(elt -> bool) -> bool
Is there some element satisfying the given predicate?