dolmen_type

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

The type of integers