Make.Offset2Scalar
val ctx :
Sub.Offset.Context.t ->
Sub.Offset.Scalar.Context.t
* (Sub.Offset.Scalar.Context.t ->
Sub.Offset.Scalar.Context.t)
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
.
val serialize_binary :
size:int ->
Sub.Offset.Context.t ->
Sub.Offset.Scalar.binary ->
Sub.Offset.Context.t ->
Sub.Offset.Scalar.binary ->
'a Sub.Offset.Context.in_acc ->
(Sub.Offset.Scalar.binary, 'a) Sub.Offset.Context.result
Allows serialization of a Scalar.binary in a Offset domain.