A  
arbitrary [QCheck] 
A value of type
'a arbitrary is an object with a method for generating random
values of type 'a , and additional methods to compute the size of values,
print them, and possibly shrink them into smaller counterexamples.

C  
callback [QCheck.Test] 
Callback executed after each test has been run.

cell [QCheck.Test] 
A single property test

counter_ex [QCheck.TestResult]  
F  
failed_state [QCheck.TestResult]  
fun_ [QCheck] 
A function packed with the data required to print/shrink it.

fun_repr [QCheck] 
Internal data for functions.

O  
obs [QCheck.Tuple] 
How to observe a
'a t

R  
res [QCheck.Test]  
S  
sized [QCheck.Gen] 
Random generator with a size bound.

stat [QCheck] 
A statistic on a distribution of values of type
'a .

state [QCheck.TestResult]  
step [QCheck.Test] 
Callback executed after each instance of a test has been run.

T  
t [QCheck.Tuple] 
Heterogeneous tuple, used to pass any number of arguments to
a function.

t [QCheck.Fn]  
t [QCheck.Test]  
t [QCheck.TestResult]  
t [QCheck.Observable] 
An observable for
'a , packing a printer and other things.

t [QCheck.Shrink] 
Given a counterexample, return an iterator on smaller versions
of the counterexample.

t [QCheck.Iter]  
t [QCheck.Print] 
Printer for values of type
'a .

t [QCheck.Gen] 
A random generator for values of type 'a.
