PropCheck.StateM.ModelDSL.print_report

You're seeing just the function print_report, go back to PropCheck.StateM.ModelDSL module for more information.