Functor Specification.Set

module Set: 
functor (S : Set.S) ->
functor (P : Pred with type p = S.elt) -> sig .. end
Functor used to build predicates for Set.S.t values.
Parameters:
S : Set.S
P : Pred with type p = S.elt

val exists : S.t Specification.predicate
Predicates that evaluates to true iff any of the set elements makes P.p evaluate to true.
val for_all : S.t Specification.predicate
Predicates that evaluates to true iff all of the set elements make P.p evaluate to true.