Memory_sig.Whole_Memory_domain
Like a Memory_domain, but we can do bitvector operations on addresses.
Memory_domain
module Address : Fixed_size_value_domain
module Memory (Value : Value) (Lift : Value_to_address with module Value := Value and module Address := Address) : Memory with module Value = Value and module Address = Address and type boolean = Value.boolean