Module QCheck.TestResult

module TestResult: sig .. end

type 'a counter_ex = {

	`instance : 'a;`	`(*`	The counter-example(s)	`*)`
	`shrink_steps : int;`	`(*`	How many shrinking steps for this counterex	`*)`

}

type 'a failed_state = 'a counter_ex list

type 'a state =

`\|`	`Success`
`\|`	`Failed of 'a failed_state`	`(*`	Failed instances	`*)`
`\|`	`Error of 'a counter_ex * exn`	`(*`	Error, and instance that triggered it	`*)`

type 'a t = {

	`mutable state : 'a state;`
	`mutable count : int;`
	`mutable count_gen : int;`
	`collect_tbl : (string, int) Hashtbl.t lazy_t;`

}