open val node: DirFormula
Overrides TreeNode.node
DirFormula is also the node in the tree, so node == this
node == this
Getter
The object which holds the actual data in the tree.