Dolmen_type.Bitv
module Ae : sig ... end
Alt-Ergo bitvector builtins
module Smtlib2 : sig ... end
Smtlib bitvector builtins