Term.Substitution

## Composition of fresh and free substitutions

composeVFresh

## Conversion between fresh and free

freshToFree

freshToFreeAvoiding

freshToFreeAvoidingFast

freeToFreshRaw

## Convenience exports

# General Substitutions

data Subst c v

# application of substitutions

applyVTerm

applyLit

# smart constructors for substitutions

substFromList

substFromMap

emptySubst

# Composition of substitutions

compose

applySubst

# operations

restrict

mapRange

# queries

varsRange

dom

range

imageOf

# views

substToListOn

substToList

# Apply class

class Apply t

# Pretty printing

prettySubst

# Substitution of LVars

type LSubst c

type LNSubst

prettyLNSubst

# General Substitutions

data SubstVFresh c v

# smart constructors for substitutions

substFromListVFresh

emptySubstVFresh

# operations

restrictVFresh

mapRangeVFresh

extendWithRenaming

# queries

varsRangeVFresh

domVFresh

rangeVFresh

isRenaming

imageOfVFresh

# views

substToListVFresh

# Pretty printing

prettySubstVFresh

# operations on fresh substitutions

renameFresh

renameFreshAvoiding

removeRenamings

# Substitution of LVars

type LSubstVFresh c

type LNSubstVFresh

prettyLSubstVFresh

prettyDisjLNSubstsVFresh