a value of type
Callback executed after each test has been run.
A single property test
Random generator with a size bound
Callback executed after each instance of a test has been run.
Given a counter-example, return an iterator on smaller versions of the counter-example
Printer for values of type
A random generator for values of type 'a