val default_seed : Quickcheck_intf.seeddefault_seedis used initialize the pseudo-random generator that chooses random values from generators, in each test that is not provided its own seed.
val default_sizes : Base.Int.t Sequence.tdefault_sizesdetermines the default sequence of sizes used in generating values.
val default_trial_count : Base.Int.tdefault_trial_countdetermines the number of trials per test, except in tests that explicitly override it.
val default_can_generate_trial_count : Base.Int.tdefault_can_generate_trial_countdetermines the number of trials used in attempts to generate satisfying values, except in tests that explicitly override it.
val default_shrink_attempts : Quickcheck_intf.shrink_attemptsdefault_shrink_attemptsdetermines the number of attempts at shrinking when runningtestoriterwith~shrinkerand without~shrink_attempts