Safe Haskell | Safe-Inferred |
---|
Documentation
type Subst f v = GSubst v f vSource
A substitution, mapping variables to terms. Substitutions are equal to the identity almost everywhere.
A generalised? substitution: a finite, partial map from variables to terms with a different variable type.