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