Functor Specification.Map

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.