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