Substitution

Class in TypeChecker

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>

Methods

Name	Description
Clone()	Returns a duplicate of this Substitution .