cmt and cmti files format.

Functions for reporting core level type errors.

Support for creating fresh types isomorphic to the natural numbers

Functions for representing type expressions and module types as outcometree (with as 'a aliases for cycles) and printing them. All functions below depends on global contexts that keep track of

Detection of partial matches and unused match cases.

This module provides function(s) for printing the internal representation of type expressions. It is targetted at internal use when debbuging the compiler itself.

Shapes are an abstract representation of modules' implementations which allow the tracking of definitions through functor applications and other module-level operations.

Short_path_graph is a representation of the environment (as a graph, using Graph.t) that is more suitable to answer short path queries.

Iterate on signature by syntactic group of items

Substitutions

Allows the implementation of typed tree inspection using open recursion

Immediacy status of a type

The OCaml runtime assumes for type-directed optimizations that all types are "separable". A type is "separable" if either all its inhabitants (the values of this type) are floating-point numbers, or none of them are.

Abstract syntax tree after typing

Type-checking of the module language and typed ast hooks

Types related to the compilation of value let-recs (non-functional recursive definitions)