module Offsm_value:sig
..end
type
offsm_or_top =
| |
O of |
| |
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