CoreSubst

Main data types

data Subst
type TvSubstEnv
type IdSubstEnv
data InScopeSet

Substituting into expressions and related types

Operations on substitutions

Substituting and cloning binders