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.