Module Offsm_value

module Offsm_value: sig .. end

Auxiliary functions

type offsm_or_top =

`\|`	`O of Cvalue.V_Offsetmap.t`
`\|`	`Top`

val offsm_key : offsm_or_top Structure.Key_Value.k

val cast : old_size:Integer.t ->
       new_size:Integer.t ->
       signed:bool -> Cvalue.V_Offsetmap.t -> Cvalue.V_Offsetmap.t

module Offsm: Abstract_value.Internal  with type t = offsm_or_top

module CvalueOffsm: Abstract_value.Internal  with type t = Cvalue.V.t * offsm_or_top