Curry.FlatCurry.Annotated.Goodies
trAProg
aProgName
aProgImports
aProgTypes
aProgAFuncs
aProgOps
updAProg
updAProgName
updAProgImports
updAProgTypes
updAProgAFuncs
updAProgOps
allVarsInAProg
updAProgAExps
rnmAllVarsInAProg
updQNamesInAProg
rnmAProg
trAFunc
aFuncName
aFuncArity
aFuncVisibility
aFuncType
aFuncARule
updAFunc
updAFuncName
updAFuncArity
updAFuncVisibility
updFuncType
updAFuncARule
isPublicAFunc
isExternal
allVarsInAFunc
aFuncArgs
aFuncBody
aFuncRHS
rnmAllVarsInAFunc
updQNamesInAFunc
updAFuncArgs
updAFuncBody
trARule
aRuleAnnot
aRuleArgs
aRuleBody
aRuleExtDecl
isARuleExternal
updARule
updARuleAnnot
updARuleArgs
updARuleBody
updARuleExtDecl
allVarsInARule
rnmAllVarsInARule
updQNamesInARule
annot
varNr
literal
combType
combName
combArgs
missingCombArgs
letBinds
letBody
freeVars
freeExpr
orExps
caseType
caseExpr
caseBranches
isAVar
isALit
isAComb
isALet
isAFree
isAOr
isACase
trAExpr
updVars
updLiterals
updCombs
updLets
updFrees
updOrs
updCases
updBranches
updTypeds
isFuncCall
isFuncPartCall
isConsCall
isConsPartCall
isGround
allVars
rnmAllVars
updQNames
trABranch
aBranchAPattern
aBranchAExpr
updABranch
updABranchAPattern
updABranchAExpr
trAPattern
aPatAnnot
aPatCons
aPatArgs
aPatLiteral
isConsPattern
updAPattern
updAPatAnnot
updAPatCons
updAPatArgs
updAPatLiteral
aPatExpr