FreeIdent
A free identifier, that has no defining symbol.
This seems to always be a wildcard.
Value members
Inherited methods
The term type of this tree.
The term type of this tree.
If this tree is not a term (e.g., it is a definition), its tpe
is
NoType
.
- Inherited from
- Tree