sig val default_seed : Quickcheck_intf.seed val default_trial_count : int val default_trial_count_for_test_no_duplicates : [ `Constant of int | `Scale_of_default_trial_count of float ] val default_attempts_per_trial : float end