Module type Specification.Pred

module type Pred = sig .. end
Module type used for functor-based predicates.

type p 
The type of predicate parameters.
val p : p Specification.predicate
Actual predicate over p values.