dolmen_type

A typechecker for automated deduction languages
IN THIS PACKAGE
Module Dolmen_type . Intf

Typechecker interface

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

Wrapper around potential function symbols from the Dolmen AST.

module type Formulas = sig ... end

Typechecker interface