dolmen_type

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

Bitvector litteral.