Memory_sig.Address_to_Scalar
module Scalar : Domain_sig.Base
Address is above Scalar on the domain stack, so we decompose a Address stack in a Scalar stack and a context: Lift.ctx address_ctx = (scalar_ctx,f)
means that f
scalar_ctx = address_ctx_ctx
.
val ctx :
Address.Context.t ->
Scalar.Context.t * (Scalar.Context.t -> Scalar.Context.t)
Address is above Scalar on the domain stack, so we decompose a Address stack in a Scalar stack and a context: Lift.ctx address_ctx = (scalar_ctx,f)
means that f
scalar_ctx = address_ctx_ctx
.