For drawing purposes, a color is represented by a simple integer, as in the
A comparison report records an explanation of the failure of the comparison of two schemes.
Signatures of type constructors are specified by giving for each argument a record of type
Constraint sets are represented by values of type
In the term algebra considered by the solver, terms may have one of the following kinds:
A comparison report records an explanation of why a scheme has no minimal instance.
(Multi-equations of) Terms are represented by values of type
A value of type
Values of type
Pretty-printing in the library is performed by the
Similarly, the printing of some message on a formatter may be abstractly represented by a function of type
Multi-skeletons are represented by values of type
A solve report records an explanation of why the resolution of a scheme fails.
A substitution may be applied while copying a scheme.
The type of schemes.
A type constructor (with its arguments) is represented by a value of type
The type of row labels.
The type of constant upper bound.
The type of constant lower bound.
Unification errors are described by a value of type
A variance is one of the three elements