package dolmen_type

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

External Typechecker interface

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

Typechecker interface

type symbol =
  1. | Id of Dolmen.Std.Id.t
  2. | Builtin of Dolmen.Std.Term.builtin

Wrapper around potential function symbols from the Dolmen AST.

module type Formulas = sig ... end

Typechecker interface