dolmen_type

A typechecker for automated deduction languages
IN THIS PACKAGE
Parameter #2 Dolmen_type . Arith . Tptp . Tff . Ty
val int : Type.Ty.t

The type of integers

val rat : Type.Ty.t

The type of rationals

val real : Type.Ty.t

The type of reals

val equal : Type.Ty.t -> Type.Ty.t -> bool

Equality on types.