CoreSubst
data Subst
type TvSubstEnv
data IdSubstEnv
data InScopeSet
deShadowBinds
substSpec
substRulesForImportedIds
substTy
substCo
substExpr
substExprSC
substBind
substBindSC
substUnfolding
substUnfoldingSC
lookupIdSubst
lookupTvSubst
lookupCvSubst
substIdOcc
substTickish
substVarSet
emptySubst
mkEmptySubst
mkGblSubst
mkOpenSubst
substInScope
isEmptySubst
extendIdSubst
extendIdSubstList
extendTvSubst
extendTvSubstList
extendCvSubst
extendCvSubstList
extendSubst
extendSubstList
extendSubstWithVar
zapSubstEnv
addInScopeSet
extendInScope
extendInScopeList
extendInScopeIds
isInScope
setInScope
delBndr
delBndrs
substBndr
substBndrs
substRecBndrs
cloneBndr
cloneBndrs
cloneIdBndr
cloneIdBndrs
cloneRecIdBndrs
simpleOptPgm
simpleOptExpr
simpleOptExprWith
exprIsConApp_maybe
exprIsLiteral_maybe
exprIsLambda_maybe