Self type definition name: tpt =>.
name: tpt =>
The term type of this tree.
If this tree is not a term (e.g., it is a definition), its tpe is NoType.
tpe
NoType