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

Method in

Summary

Returns a duplicate of this .

Returns

The cloned .