sig
  val offsetmap_of_v :
    typ:Cil_types.typ -> Cvalue.V.t -> Cvalue.V_Offsetmap.t
  val offsetmap_of_loc :
    Precise_locs.precise_location ->
    Cvalue.Model.t -> Cvalue.V_Offsetmap.t Eval.or_bottom
  val wrap_size_t : Cvalue.V.t -> Cvalue.V_Offsetmap.t option
  val wrap_int : Cvalue.V.t -> Cvalue.V_Offsetmap.t option
  val wrap_ptr : Cvalue.V.t -> Cvalue.V_Offsetmap.t option
  val wrap_double : Cvalue.V.t -> Cvalue.V_Offsetmap.t option
  val wrap_float : Cvalue.V.t -> Cvalue.V_Offsetmap.t option
  val wrap_long_long : Cvalue.V.t -> Cvalue.V_Offsetmap.t option
  val backward_comp_left_from_type :
    Cil_types.typ ->
    bool -> Abstract_interp.Comp.t -> Cvalue.V.t -> Cvalue.V.t -> Cvalue.V.t
  val reduce_by_initialized_defined :
    (Cvalue.V_Or_Uninitialized.t -> Cvalue.V_Or_Uninitialized.t) ->
    Locations.location -> Cvalue.Model.t -> Cvalue.Model.t
  val apply_on_all_locs :
    (Locations.location -> '-> 'a) -> Locations.location -> '-> 'a
  val reduce_by_valid_loc :
    positive:bool ->
    for_writing:bool ->
    Locations.location -> Cil_types.typ -> Cvalue.Model.t -> Cvalue.Model.t
  val make_loc_contiguous : Locations.location -> Locations.location
  val pretty_stitched_offsetmap :
    Format.formatter -> Cil_types.typ -> Cvalue.V_Offsetmap.t -> unit
  val pretty_offsetmap :
    Cil_types.typ -> Format.formatter -> Cvalue.V_Offsetmap.t -> unit
end