defaultOptions ppCExpr ppCFuncDecl ppCFuncDeclWithoutSig ppCFuncSignature ppCLiteral ppCOpDecl ppCPattern ppCQualTypeExpr ppCRhs ppCRule ppCRules ppCStatement ppCTypeDecl ppCTypeExpr ppCurryProg ppExports ppFunc ppImports ppMName ppQFunc ppQType ppType prettyCurryProg setFullQualification setImportQualification setIndentWith setLayoutChoice setModName setNoQualification setOnDemandQualification setPageWith setShowLocalSigs showCProg