## Hedgehog Namespace

 Type/Module Description A generator for values and shrink trees of type 'a. A generator for random values of type 'a A range describes the bounds of a number to generate, which may or may not be dependent on a 'Size'. The constructor takes an origin between the lower and upper bound, and a function from 'Size' to bounds. As the size goes towards 0, the values go towards the origin. Splittable random number generator. Tests are parameterized by the Size of the randomly-generated data, the meaning of which depends on the particular generator used. A rose tree which represents a random generated outcome, and all the ways in which it can be made smaller.