Frama-C API - Offsm_value
val cast : old_size:Frama_c_kernel.Z.t -> new_size:Frama_c_kernel.Z.t -> signed:bool -> Frama_c_kernel.Cvalue.V_Offsetmap.t -> Frama_c_kernel.Cvalue.V_Offsetmap.tmodule Offsm : Abstract_value.Leaf with type t = offsm_or_top