module Map: functor (M : Map.S) -> functor (P : Pred with type p = M.key) -> sig .. end
Functor used to build predicates for Map.S.t values.
| Parameters: |
M |
: |
Map.S
|
P |
: |
Pred with type p = M.key
|
|
val exists : 'a Specification.predicate -> 'a M.t Specification.predicate
exists p constructs a predicate that evaluates to true
iff any of the map element (k, v) makes P.p k && p v evaluate
to true.
val for_all : 'a Specification.predicate -> 'a M.t Specification.predicate
for_all p constructs a predicate that evaluates to true
iff all of the map elements (k, v) make P.p k && p v evaluate
to true.