Module type Reins.Quickcheck.Config

module type Config = sig .. end

val num_iterations : int
This value determines how many inputs will be passed to the function. Values that are signaled to be trivial are not counted.
val size_arg : int option
This value is passed as the option size paramter to the function Reins.Types.Mono.Arbitrary.gen when generating input for a law.
val max_trivial_percentage : float
This value determines how many inputs are allowed to be classified as trivial before giving up and classifying the law as failed. The value should be in the range [0\.0,1\.0)