PropCheck.sample_shrink
You're seeing just the function
sample_shrink
, go back to PropCheck module for more information.
Generates a random instance of Type, of size Size, then shrinks it as far as it goes. The value produced on each step of the shrinking process is printed on the screen.