Domains.Bitwise_domain
module type Subdomain = Domain_sig.Base
module Make
(Sub : Subdomain) :
Domain_sig.Base
with module Context = Sub.Context
and type boolean = Sub.boolean
A domain that abstracts a bitvector, and remembers what bitwise operations have been applied to it. Can be a very efficient way to simplify sequences of bitwise operations.