Memory_sig.Offset_to_Scalar
module Scalar : Domain_sig.Base
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 ctx :
Offset.Context.t ->
Scalar.Context.t * (Scalar.Context.t -> 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 ->
Offset.Context.t ->
Scalar.binary ->
Offset.Context.t ->
Scalar.binary ->
'a Offset.Context.in_acc ->
(Scalar.binary, 'a) Offset.Context.result
Allows serialization of a Scalar.binary in a Offset domain.