Last updated 3 months ago
Was this helpful?
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
A type variable represents a type that is not yet known.