PropCheck.StateM.ModelDSL.def_preconds

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