Module type Memory_sig.Offset_Memory_domain

module Offset : Offset
module Memory (Value : Value) (Lift : Value_to_offset with module Value := Value and module Offset := Offset) : Region with module Value = Value and module Offset = Offset and type boolean = Value.boolean