Return the type kind pointed by this inferred type.
Return the type kind pointed by this inferred type.
(typeOfVar: StringAdd).self
(typeOfVar: StringFormat).self
(typeOfVar: ArrowAssoc[TypeOfVar]).x
(Since version 2.10.0) Use leftOfArrow
instead
(typeOfVar: Ensuring[TypeOfVar]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
The type of a given local variable.