PropCheck.on_output

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

on_output(property, print)

View Source

Specs

on_output(outer_test(), output_fun()) :: outer_test()

Specifies an output function print to be used by PropCheck for all output printing during the testing of property property.

This wrapper is equivalent to the on_output option.