sig
  type call = { cloc : Cil_types.location; fname : string; }
  type leak = {
    potential : bool;
    loc : Cil_types.location option;
    data : Cil_types.exp;
    call_stack : Model.Make.Leaks.call list;
  }
  type t = Model.Make.Leaks.leak list
  val empty : 'a list
  val print_call_stack :
    Format.formatter -> Model.Make.Leaks.call list -> unit
  val print_leak : Model.Make.Leaks.leak -> unit
  val print_stat : int * int -> unit
  val nb_leaks : (int * int) Pervasives.ref
  val print : Model.Make.Leaks.leak list -> unit
  val print_all : Model.Make.Leaks.leak list -> unit
  val new_leak :
    bool ->
    Cil_types.location option -> Cil_types.exp -> Model.Make.Leaks.leak
  val add_leak :
    potential:bool ->
    Cil_types.location option ->
    Cil_types.exp -> Model.Make.Leaks.leak list -> Model.Make.Leaks.leak list
  val add_from_and_subst :
    Cil_types.location ->
    string ->
    Subst.t ->
    from:Model.Make.Leaks.leak list ->
    Model.Make.Leaks.leak list -> Model.Make.Leaks.leak list
  val is_included :
    Model.Make.Leaks.leak list -> Model.Make.Leaks.leak list -> bool
  val combine :
    old:Model.Make.Leaks.leak list ->
    Model.Make.Leaks.leak list -> Model.Make.Leaks.leak list
end