addEqShowContext addPreCond addShowContext analyseCurryProg analyseModule arityOfType cLambda ccBanner checkModules choiceGen classifyTest cleanup collectAllTestTypeDecls containsPPOptionLine ctype2BotType ctype2typeop ctypedecl2ftypedecl defTypeSuffix defaultQualType defaultValueOfBasicExtType easyCheckConfig equivPropTypes equivTestOps firstWord ftype2fromP ftype2pvalOf funDeclsWith genBottomType genDetOpTests genDetProp genFromP genMainFunction genMainTestModule genPValOf genPartialPrimDataGenerator genPeval genPostCondTest genShowP genSpecGroundEquivTest genSpecTest genTestDataGenerator genTestFuncs genTestMsg genTestName generatorModule generators generatorsOfProg isDetSuffix isEquivTest isFloatType isIOTest isPAKCS isPrimExtType isPropTest isUnitTest main makeAllPublic maxArity modNameToId orgModuleName orgQName orgTestName poly2default poly2defaultType postCondSuffix preCondOperations preConditions printTestStatistics propResultType propTests removeNonExecTests renameProp2EasyCheck revertDetOpTrans satSpecSuffix searchTreeModule searchTreeTC showCExpr showCTypeExpr showGeneratedModule showModuleLine staticErrorTestMod staticErrors staticProgAnalysis stripSuffix t2bt tconsOf testLine testModuleName testName testThisModule transFuncArgsInProp transQN transformDetTests transformTests type2genop typename2genopname unionOn usageText userTestDataOfModule writeCurryProgram