Module 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.