Module type Memory_sig.Memory_domain

module Address : Address
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