Module type Memory_sig.Whole_Memory_domain

Like a Memory_domain, but we can do bitvector operations on addresses.

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