úÎ`{None    NoneType for "doc_test".&Generating defaultMain with a list of Test= from "doc_test", "case_<somthing>", and "prop_<somthing>".     4test-framework-th-prime-0.0.9-FBGVJC7nFEuLaLfeTsyqeJTest.Framework.TH.PrimeTest.Framework.TH.Prime.ParserDocTestsdefaultMainGeneratorsymbolstring unitPropTeststoCasetoProptoTestgetTests parseTest isFunBind isPatBind fromPatBind fromFunBind isDefineddocTestKeyworddocTests