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_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 -> Cvalue.V_Offsetmap.t Bottom.or_bottom   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