sig   val new_counter : unit -> int   module ValueOutputs :     sig       type t =           (Cvalue.V_Offsetmap.t option * Cvalue.Model.t) list *           Base.SetLattice.t       val ty : t Type.t       val name : string       val descr : t Descr.t       val packed_descr : Structural_descr.pack       val reprs : t list       val equal : t -> t -> bool       val compare : t -> t -> int       val hash : t -> int       val pretty_code : Format.formatter -> t -> unit       val internal_pretty_code :         Type.precedence -> Format.formatter -> t -> unit       val pretty : Format.formatter -> t -> unit       val varname : t -> string       val mem_project : (Project_skeleton.t -> bool) -> t -> bool       val copy : t -> t     end   val store_computed_call :     Value_types.call_site ->     Cvalue.Model.t ->     (Cil_types.exp * Cvalue.Model.offsetmap) list ->     Value_types.call_result -> unit   val reuse_previous_call :     Value_types.call_site ->     Cvalue.Model.t ->     (Cil_types.exp * Cvalue.Model.offsetmap) list ->     (Value_types.call_result * int) option   val cleanup_results : unit -> unit end