Index of module types

Custom [Maths]
Signature of a module containing only one element of type u C.t, for a module C : CustomT.
CustomT [Maths]
Signature of a module extending the type math list into a type math list t with the necessary typeseting machinery.

DbInstance [Db]
Generic type for database instances
DbInterface [Db]
Interface to be implemented by database managers
Diagram [Diagrams]
DocumentStructure [Document]
Module type to be used as a document wrapper.

Format [Document]
Module type of a document format.

OrderedHashableType [Break]