dolmen_type

A typechecker for automated deduction languages
IN THIS PACKAGE
Module type Dolmen_type . Def . Subst_arg
type ty
type ty_var
type term
type term_var
val ty_subst : (ty_var * ty) list -> ty -> ty
val term_subst : (ty_var * ty) list -> (term_var * term) list -> term -> term