dolmen_type

A typechecker for automated deduction languages
IN THIS PACKAGE
Module Dolmen_type . Float . Smtlib2 . Tff . T . Real
val mk : string -> Type.T.t

Bitvector litteral.