A node that has finished type checking, with all the nodes inside it. Found in Message_Typechecked.
Fields
- expression: *T
- subexpressions: [] *Code_Node
Jacket
/
Jacket
A node that has finished type checking, with all the nodes inside it. Found in Message_Typechecked.