package dolmen_type

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

Typechecking of standard terms This module provides functions to typecheck terms from the untyped syntax tree defined in the standard implementation.

module type S = Thf_intf.S

Typechecker external interface

module Make (Tag : Dolmen.Intf.Tag.S) (Ty : Dolmen.Intf.Ty.Thf with type 'a tag := 'a Tag.t) (T : Dolmen.Intf.Term.Thf with type ty := Ty.t and type ty_var := Ty.Var.t and type ty_const := Ty.Const.t and type 'a tag := 'a Tag.t) : S with module Tag = Tag and module Ty = Ty and module T = T