TypeVar
scalus.sir.SIRType.TypeVar
Type variable have two forms: when id is not set, that means that for each instantiation of type-lambda, a new set of type-variables with fresh id-s are created. when id is set, that means that computations are situated in the process of instantiation of some type-lambda,
Attributes
- Graph
-
- Supertypes
Members list
In this article