dolmen_type

A typechecker for automated deduction languages
IN THIS PACKAGE
Module Dolmen_type . Bitv
module Ae : sig ... end

Alt-Ergo bitvector builtins

module Smtlib2 : sig ... end

Smtlib bitvector builtins