Module type Memory_sig.With_Offset

Abstraction of an offset in a contiguous memory region.

module Scalar : Domain_sig.Base with module Context = Context
type boolean
type offset
module Offset : sig ... end
val offset_pretty : size:int -> Context.t -> Stdlib.Format.formatter -> offset -> unit
val offset_empty : size:int -> Context.t -> offset
val serialize_offset : size:int -> Context.t -> offset -> Context.t -> offset -> 'a Context.in_acc -> (offset, 'a) Context.result
val offset_zero : size:int -> max:int option -> Context.t -> offset

Transfer functions *

val offset_shift : size:int -> offset:int -> max:int option -> Context.t -> offset -> offset
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_le : size:int -> Context.t -> offset -> offset -> boolean
val offset_eq : size:int -> Context.t -> offset -> offset -> boolean
val offset_within_bounds : size:int -> Context.t -> offset -> boolean
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