Last updated 4 months ago
Was this helpful?
Class in
Inherits from System.Collections.Generic.Dictionary2`
System.Collections.Generic.Dictionary
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.
TypeChecker.Solver
public class Substitution : Dictionary<TypeVariable, IType>
Returns a duplicate of this .