dolmen_type

A typechecker for automated deduction languages
IN THIS PACKAGE
Module Dolmen_type . Core . Smtlib2 . Tff

Parameters

module Type : Tff_intf.S
module Tag : Dolmen.Intf.Tag.Smtlib_Base with type 'a t = 'a Type.Tag.t and type term := Type.T.t
module T : Dolmen.Intf.Term.Smtlib_Base with type t = Type.T.t and type cstr := Type.T.Cstr.t

Signature