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