Make.Address2Scalar
val ctx :
Sub.Address.Context.t ->
Sub.Address.Scalar.Context.t
* (Sub.Address.Scalar.Context.t ->
Sub.Address.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
.