Functor Specification.Weak

module Weak: functor (W : Weak.S) -> functor (P : Pred  with type p = W.data) -> sig .. end

Functor used to build predicates for Weak.S.t values.

Parameters:

`W`	:	`Weak.S`
`P`	:	`Pred with type p = W.data`

val exists : W.t Specification.predicate

Predicates that evaluates to true iff any of the weak hashtable elements makes P.p evaluate to true.

val for_all : W.t Specification.predicate

Predicates that evaluates to true iff all of the weak hashtable elements make P.p evaluate to true.