module Default_offsetmap: sig .. end
sig
end
val create_initialized_var : Cil_types.varinfo -> Base.validity -> Cvalue.V_Offsetmap.t -> Base.t
Cil_types.varinfo -> Base.validity -> Cvalue.V_Offsetmap.t -> Base.t
val default_offsetmap : Base.t -> Cvalue.V_Offsetmap.t
Base.t -> Cvalue.V_Offsetmap.t