Make.Sub
module Address : Memory_sig.Address
module Memory
(Value : Memory_sig.Value)
(Lift :
Memory_sig.Value_to_address
with module Value := Value
and module Address := Address) :
Memory_sig.Memory
with module Value = Value
and module Address = Address
and type boolean = Value.boolean