Memory_sig.Value_to_offset
Value is above Offset on the domain stack, so we decompose a Value stack in an Offset stack and a context: Lift.ctx value_ctx
= (offset_ctx,f) means that f offset_ctx = value_ctx.
val ctx :
Value.Context.t ->
Offset.Context.t * (Offset.Context.t -> Value.Context.t)
Value is above Offset on the domain stack, so we decompose a Value stack in an Offset stack and a context: Lift.ctx value_ctx
= (offset_ctx,f) means that f offset_ctx = value_ctx.