dolmen_type

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

The type of ints

val string : Type.Ty.t

The type of strings

val string_reg_lang : Type.Ty.t

The type of regular languages over strings