Apply
fun(args)
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
fun(args)
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
.