dolmen_type

A typechecker for automated deduction languages
IN THIS PACKAGE
Parameter #3 Dolmen_type . Arith . Smtlib2 . Real_Int . Tff . T
val ty : Type.T.t -> Type.Ty.t

Get the type of a term.

module Int : sig ... end
module Real : sig ... end