Composition of fresh and free substitutions
Conversion between fresh and free
Convenience exports
General Substitutions
application of substitutions
smart constructors for substitutions
Composition of substitutions
operations
queries
views
Apply class
Pretty printing
Substitution of LVars
General Substitutions
smart constructors for substitutions
operations
queries
views
Pretty printing
operations on fresh substitutions
Substitution of LVars