Module Offsm_value

module Offsm_value: sig .. end

type offsm_or_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