Up  

Index of module types


G
Gen [Generator]
Module type used for functor-based generators.

P
Pred [Specification]
Module type used for functor-based predicates.
Printer [Assertion]
Module type used for functor-based containers.