allVars allVarsInFunc allVarsInProg allVarsInRule annExpr annPattern annRule argTypes branchExpr branchPattern caseBranches caseExpr caseType combArgs combName combType consArgs consArity consName consVisibility domain freeExpr freeVars funcArgs funcArity funcBody funcName funcRHS funcRule funcType funcVisibility isCase isComb isCombTypeConsCall isCombTypeConsPartCall isCombTypeFuncCall isCombTypeFuncPartCall isConsCall isConsPartCall isConsPattern isExternal isForallType isFree isFuncCall isFuncPartCall isFuncType isGround isLet isLit isOr isRuleExternal isTCons isTVar isTypeData isTypeNew isTypeSyn isVar letBinds letBody literal missingArgs missingCombArgs newConsArg newConsName newConsVisibility opFixity opName opPrecedence orExps patArgs patCons patExpr patLiteral progFuncs progImports progName progOps progTypes range resultType rnmAllVars rnmAllVarsInFunc rnmAllVarsInProg rnmAllVarsInRule rnmAllVarsInTypeExpr rnmProg ruleArgs ruleBody ruleExtDecl tConsArgs tConsName tVarIndex trBranch trCombType trCons trExpr trFunc trNewCons trOp trPattern trProg trRule trType trTypeExpr typeConsDecls typeName typeParams typeSyn typeVisibility unAnnExpr unAnnFuncDecl unAnnPattern unAnnProg unAnnRule updBranch updBranchExpr updBranchPattern updBranches updCases updCombs updCons updConsArgs updConsArity updConsName updConsVisibility updForallTypes updFrees updFunc updFuncArgs updFuncArity updFuncBody updFuncName updFuncRule updFuncType updFuncTypes updFuncVisibility updLets updLiterals updNewCons updNewConsArg updNewConsName updNewConsVisibility updOp updOpFixity updOpName updOpPrecedence updOrs updPatArgs updPatCons updPatLiteral updPattern updProg updProgExps updProgFuncs updProgImports updProgName updProgOps updProgTypes updQNames updQNamesInConsDecl updQNamesInFunc updQNamesInNewConsDecl updQNamesInProg updQNamesInRule updQNamesInType updQNamesInTypeExpr updRule updRuleArgs updRuleBody updRuleExtDecl updTCons updTVars updType updTypeConsDecls updTypeName updTypeNewConsDecl updTypeParams updTypeSynonym updTypeVisibility updTypeds updVars varNr