sig
  type 'a counter_ex = {
    instance : 'a;
    shrink_steps : int;
    msg_l : string list;
  }
  type 'a state =
      Success
    | Failed of { instances : 'QCheck2.TestResult.counter_ex list; }
    | Failed_other of { msg : string; }
    | Error of { instance : 'QCheck2.TestResult.counter_ex; exn : exn;
        backtrace : string;
      }
  type 'a t
  val get_state : 'QCheck2.TestResult.t -> 'QCheck2.TestResult.state
  val get_count : 'QCheck2.TestResult.t -> int
  val get_count_gen : 'QCheck2.TestResult.t -> int
  val get_collect :
    'QCheck2.TestResult.t -> (string, int) Stdlib.Hashtbl.t option
  val get_stats :
    'QCheck2.TestResult.t ->
    ('QCheck2.stat * (int, int) Stdlib.Hashtbl.t) list
  val get_warnings : 'QCheck2.TestResult.t -> string list
  val get_instances : 'QCheck2.TestResult.t -> 'a list
  val is_success : 'QCheck2.TestResult.t -> bool
  val stats :
    'QCheck2.TestResult.t ->
    ('QCheck2.stat * (int, int) Stdlib.Hashtbl.t) list
  val warnings : 'QCheck2.TestResult.t -> string list
  val collect :
    'QCheck2.TestResult.t -> (string, int) Stdlib.Hashtbl.t option
end