`type 'a counter_ex = 'a QCheck2.TestResult.counter_ex = {`

1. `instance : 'a;`
   (*

   The counter-example(s)

   *)
2. `shrink_steps : int;`
   (*

   How many shrinking steps for this counterex

   *)
3. `msg_l : string list;`
   (*

   messages.

   - since 0.7
   *)

`}`
`type 'a failed_state = 'a counter_ex list`
`type 'a state = 'a QCheck2.TestResult.state =`

1. `| Success`
2. `| Failed of {`
   1. `instances : 'a failed_state;`
      (*

      Failed instance(s)

      *)
   `}`
3. `| Failed_other of {`
   1. `msg : string;`
   `}`
4. `| Error of {`
   1. `instance : 'a counter_ex;`
   2. `exn : exn;`
   3. `backtrace : string;`
   `}`
   (*

   Error, backtrace, and instance that triggered it

   *)

Result state. changed in 0.10 (move to inline records, add Fail_other)

`type 'a t = 'a QCheck2.TestResult.t`
`val get_count : _ t -> int`

Get the count of a cell.

- since 0.5.3

`val get_count_gen : _ t -> int`
`val get_state : 'a t -> 'a state`
`val collect : _ t -> (string, int) Stdlib.Hashtbl.t option`

Obtain statistics

- since 0.6

`val stats : 'a t -> ('a stat * (int, int) Stdlib.Hashtbl.t) list`

Obtain statistics

- since 0.6

`val warnings : _ t -> string list`

Obtain list of warnings

- since 0.10

`val is_success : _ t -> bool`

Returns true iff the state if `Success`

- since 0.9