Module type Memory_sig.Value_to_address

module Value : Value
module Address : Address

Value is above Address on the domain stack, so we decompose a Value stack in an Offset stack and a context: Lift.ctx value_ctx = (adderess_ctx,f) means that f offset_ctx = value_ctx.

Value is above Address on the domain stack, so we decompose a Value stack in an Offset stack and a context: Lift.ctx value_ctx = (adderess_ctx,f) means that f offset_ctx = value_ctx.