package dolmen_type

  1. Overview
  2. Docs

External Typechecker interface for TFF

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

Typechecker interface

module type S = sig ... end

Typechecker interface

OCaml

Innovation. Community. Security.