Up  

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.