PropCheck.Instrument.print_fun

You're seeing just the function print_fun, go back to PropCheck.Instrument module for more information.