If
if cond then thenp else elsep
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
if cond then thenp else elsep
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
.