sig
  val offsetmap_of_v :
    typ:Cil_types.typ -> Cvalue.V.t -> Cvalue.V_Offsetmap.t
  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 v_uninit_of_offsetmap :
    with_alarms:CilE.warn_mode ->
    typ:Cil_types.typ -> Cvalue.V_Offsetmap.t -> Cvalue.V_Or_Uninitialized.t
  val v_of_offsetmap :
    with_alarms:CilE.warn_mode ->
    typ:Cil_types.typ -> Cvalue.V_Offsetmap.t -> Cvalue.V.t
  val reinterpret_int :
    with_alarms:CilE.warn_mode -> Cil_types.ikind -> Cvalue.V.t -> Cvalue.V.t
  val reinterpret_float :
    with_alarms:CilE.warn_mode -> Cil_types.fkind -> Cvalue.V.t -> Cvalue.V.t
  val reinterpret :
    with_alarms:CilE.warn_mode -> Cil_types.typ -> Cvalue.V.t -> Cvalue.V.t
  val eval_binop_float :
    with_alarms:CilE.warn_mode ->
    Fval.rounding_mode ->
    Cil_types.fkind option ->
    Cvalue.V.t -> Cil_types.binop -> Cvalue.V.t -> Cvalue.V.t
  val eval_binop_int :
    with_alarms:CilE.warn_mode ->
    te1:Cil_types.typ ->
    Cvalue.V.t -> Cil_types.binop -> Cvalue.V.t -> Cvalue.V.t
  val eval_unop :
    check_overflow:bool ->
    with_alarms:CilE.warn_mode ->
    Cvalue.V.t -> Cil_types.typ -> Cil_types.unop -> Cvalue.V.t
  val handle_overflow :
    with_alarms:CilE.warn_mode ->
    warn_unsigned:bool -> Cil_types.typ -> Cvalue.V.t -> Cvalue.V.t
  val do_promotion :
    with_alarms:CilE.warn_mode ->
    Fval.rounding_mode ->
    src_typ:Cil_types.typ ->
    dst_typ:Cil_types.typ ->
    Cvalue.V.t -> (Format.formatter -> unit) -> Cvalue.V.t
  val eval_float_constant :
    with_alarms:CilE.warn_mode ->
    float -> Cil_types.fkind -> string option -> Cvalue.V.t
  val make_volatile : ?typ:Cil_types.typ -> Cvalue.V.t -> Cvalue.V.t
  val backward_comp_left_from_type :
    Cil_types.typ ->
    bool -> Abstract_interp.Comp.t -> Cvalue.V.t -> Cvalue.V.t -> Cvalue.V.t
  val find :
    with_alarms:CilE.warn_mode ->
    ?conflate_bottom:bool ->
    Cvalue.Model.t -> Locations.location -> Cvalue.V.t
  val add_binding :
    with_alarms:CilE.warn_mode ->
    ?remove_invalid:bool ->
    exact:bool ->
    Cvalue.Model.t -> Locations.location -> Cvalue.V.t -> Cvalue.Model.t
  val add_binding_unspecified :
    with_alarms:CilE.warn_mode ->
    ?remove_invalid:bool ->
    exact:bool ->
    Cvalue.Model.t ->
    Locations.location -> Cvalue.V_Or_Uninitialized.t -> Cvalue.Model.t
  val copy_offsetmap :
    with_alarms:CilE.warn_mode ->
    Locations.Location_Bits.t ->
    Integer.t ->
    Cvalue.Model.t -> [ `Bottom | `Map of Cvalue.V_Offsetmap.t | `Top ]
  val paste_offsetmap :
    with_alarms:CilE.warn_mode ->
    ?remove_invalid:bool ->
    reducing:bool ->
    from:Cvalue.V_Offsetmap.t ->
    dst_loc:Locations.Location_Bits.t ->
    size:Integer.t -> exact:bool -> Cvalue.Model.t -> Cvalue.Model.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 write_abstract_value :
    with_alarms:CilE.warn_mode ->
    Cvalue.Model.t ->
    Cil_types.lval ->
    Cil_types.typ -> Locations.Location.t -> Cvalue.V.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
end