CoreSubst
data Subst
type TvSubstEnv
type IdSubstEnv
data InScopeSet
deShadowBinds
substSpec
substRulesForImportedIds
substTy
substCo
substExpr
substExprSC
substBind
substBindSC
substUnfolding
substUnfoldingSC
lookupIdSubst
lookupTCvSubst
substIdOcc
substTickish
substDVarSet
emptySubst
mkEmptySubst
mkSubst
mkOpenSubst
substInScope
isEmptySubst
extendIdSubst
extendIdSubstList
extendTCvSubst
extendTvSubstList
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