CoreFVs
exprFreeVars
exprFreeVarsDSet
exprFreeVarsList
exprFreeIds
exprFreeIdsDSet
exprFreeIdsList
exprsFreeIdsDSet
exprsFreeIdsList
exprsFreeVars
exprsFreeVarsList
bindFreeVars
type InterestingVarFun
exprSomeFreeVars
exprsSomeFreeVars
exprSomeFreeVarsList
exprsSomeFreeVarsList
varTypeTyCoVars
varTypeTyCoFVs
idUnfoldingVars
idFreeVars
dIdFreeVars
idRuleAndUnfoldingVars
idRuleAndUnfoldingVarsDSet
idFVs
idRuleVars
idRuleRhsVars
stableUnfoldingVars
ruleRhsFreeVars
ruleFreeVars
rulesFreeVars
rulesFreeVarsDSet
ruleLhsFreeIds
ruleLhsFreeIdsList
vectsFreeVars
expr_fvs
orphNamesOfType
orphNamesOfCo
orphNamesOfAxiom
orphNamesOfTypes
orphNamesOfCoCon
exprsOrphNames
orphNamesOfFamInst
data FVAnn
type CoreExprWithFVs
type CoreExprWithFVs'
type CoreBindWithFVs
type CoreAltWithFVs
freeVars
freeVarsOf
freeVarsOfType
freeVarsOfAnn
freeVarsOfTypeAnn
exprTypeFV