dolmen_type

A typechecker for automated deduction languages
IN THIS PACKAGE
Parameter #3 Dolmen_type . Arith . Zf . Thf . T
val int : string -> Type.T.t

Integer literals

module Int : sig ... end