TypeChecker Namespace

Summary

Classes

Name	Description
EnumerablesExtension
Substitution	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.
TypeVariable	A type variable represents a type that is not yet known.