PropCheck.sample_shrink

You're seeing just the function sample_shrink, go back to PropCheck module for more information.
Link to this function

sample_shrink(gen, size \\ 10)

View Source

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.