Module type Memory_sig.Offset_to_Scalar

module Offset : Offset

Offset is above Scalar on the domain stack, so we decompose a Offset stack in a Scalar stack and a context: Lift.ctx address_ctx = (scalar_ctx,f) means that f scalar_ctx = address_ctx_ctx.

Offset is above Scalar on the domain stack, so we decompose a Offset stack in a Scalar stack and a context: Lift.ctx address_ctx = (scalar_ctx,f) means that f scalar_ctx = address_ctx_ctx.

Allows serialization of a Scalar.binary in a Offset domain.