Index of modules

D
Dalton []	The core of the library
Dalton_aux []	Auxiliary definitions
Dalton_sig []	Library module parameters.
Dalton_templates []	Templates of module parameters.
DrawGraphics [Dalton_templates]	The module `DrawGraphics` provides graphics primitives for the graphics library from the Objective Caml distribution.
E
ErrorReport [Dalton_templates]	The module `ErrorReport` provides standard error report messages.
K
Kind [Dalton_aux]	Basic operations on kinds are provided by the module `Variance`.
L
Label [Dalton_sig.GROUND]	The set of row labels is defined by the module `Label`.
Lb [Dalton_sig.GROUND]	The module `Lb` specifies the set of constant lower bounds.
Lub [Dalton_sig.GROUND]	The module `Lub` provides functions relating lower and upper bounds.
M
Make [Dalton]	The constraint solver comes as a functor parametrized by four modules whose respective expected signatures are given in `Dalton_sig`.
P
Print [Dalton_templates]	The module `Print` provides a standard style for pretty-printing constraints.
S
Scheme [Dalton.Make]	The functor scheme allows to build an implementation of functions dealing which each considered form schemes.
T
Type [Dalton_sig.GROUND]	Type constructors are given by the module `Type`.
U
Ub [Dalton_sig.GROUND]	The module `Ub` specifies the set of constant upper bounds.
V
Variance [Dalton_aux]	Basic operations on variances are provided by the module `Variance`.