Up – dolmen_type » Dolmen_type » Intf

Module `Dolmen_type.Intf`

Typechecker interface

External Typechecker interface

This module defines the external typechcker interface, that is, the interface of an instantiated typechecker.

Typechecker interface

module type Formulas = sig ... end: Typechecker interface