Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package qcheck
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Result of running a test
type 'a failed_state = 'a counter_ex listtype 'a state = | Success| Failed of 'a failed_state(*Failed instances
*)| Error of 'a counter_ex * exn * string(*Error, backtrace, and instance that triggered it
*)
type 'a t = {mutable state : 'a state;mutable count : int;mutable count_gen : int;collect_tbl : (string, int) Stdlib.Hashtbl.t lazy_t;
}