Memory_sig.With_Offset
Abstraction of an offset in a contiguous memory region.
module Context : Domain_sig.Context
module Scalar : Domain_sig.Base with module Context = Context
module Offset : sig ... end
val serialize_offset :
size:int ->
Context.t ->
offset ->
Context.t ->
offset ->
'a Context.in_acc ->
(offset, 'a) Context.result
val offset_index :
size:int ->
int ->
Context.t ->
offset ->
Scalar.binary ->
offset
val offset_sub : size:int -> Context.t -> offset -> offset -> Scalar.binary
val offset_choose :
size:int ->
Transfer_functions.Choice.t ->
Context.t ->
offset ->
offset
val boolean2scalar_bool : Context.t -> boolean -> Scalar.boolean
val scalar_bool2boolean : Context.t -> Scalar.boolean -> boolean