C | |
| 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.
|
D | |
| 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.
|
F | |
| Format [Document] |
Module type of a document format.
|
O | |
| OrderedHashableType [Break] |