dolmen_type

A typechecker for automated deduction languages
IN THIS PACKAGE
Module Dolmen_type . Tff
module type S = Tff_intf.S

Typechecker external interface

module Make (Tag : Dolmen.Intf.Tag.S) (Ty : Dolmen.Intf.Ty.Tff with type 'a tag := 'a Tag.t and type path := Dolmen.Std.Path.t) (T : Dolmen.Intf.Term.Tff 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 and type path := Dolmen.Std.Path.t) : S with module Tag = Tag and module Ty = Ty and module T = T