Module Offsm_value

module Offsm_value: sig .. end

type offsm_or_top = 
| O of Cvalue.V_Offsetmap.t
| Top
val cast : old_size:Integer.t ->
new_size:Integer.t ->
signed:bool -> Cvalue.V_Offsetmap.t -> Cvalue.V_Offsetmap.t
module Offsm: Abstract_value.Leaf  with type t = offsm_or_top
module CvalueOffsm: Abstract.Value.Internal  with type t = Cvalue.V.t * offsm_or_top