Inherits from System.Collections.Generic.Dictionary2`
Summary
A substitution is a mapping between type variables and types (or other type variables). It is produced during the process of type resolution by the TypeChecker.Solver class.
public class Substitution : Dictionary<TypeVariable, IType>
