sig
  type 'a counter_ex = {
    instance : 'a;
    shrink_steps : int;
    msg_l : string list;
  }
  type 'a failed_state = 'a QCheck.TestResult.counter_ex list
  type 'a state =
      Success
    | Failed of 'a QCheck.TestResult.failed_state
    | Error of 'a QCheck.TestResult.counter_ex * exn * string
  type 'a t = {
    mutable state : 'a QCheck.TestResult.state;
    mutable count : int;
    mutable count_gen : int;
    collect_tbl : (string, int) Hashtbl.t lazy_t;
    stats_tbl : ('a QCheck.stat * (int, int) Hashtbl.t) list;
  }
  val collect : 'a QCheck.TestResult.t -> (string, int) Hashtbl.t option
  val stats :
    'a QCheck.TestResult.t -> ('a QCheck.stat * (int, int) Hashtbl.t) list
end