Index of types

For drawing purposes, a color is represented by a simple integer, as in the Graphics module of the Objective Caml standard library.

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 constructor_arg.

Constraint sets are represented by values of type cset.

In the term algebra considered by the solver, terms may have one of the following kinds: Katom for atoms,, Ktype for type,, Krow k for rows whose elements have kind k.

A comparison report records an explanation of why a scheme has no minimal instance.

(Multi-equations of) Terms are represented by values of type node.

A value of type node_or_skeleton is either a node or a skeleton.

Values of type position represents a context of pretty-print.

Pretty-printing in the library is performed by the Format module.

Similarly, the printing of some message on a formatter may be abstractly represented by a function of type printing.

Multi-skeletons are represented by values of type skeleton.

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 'a t, where 'a is the type of the arguments.

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 unification_report.

A variance is one of the three elements Covariant, Contravariant and Invariant.