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,
Value parameters
- isBuiltin
-
- if true, then this type variable is a type variable of a builtin uplc function, if false, then this is Scala type variable, which can be represented in uplc in a special form. Note, that buildin type variables can come only from Builtin Functions.
Attributes
- Graph
-
- Supertypes
Members list
In this article