Whether this tree should be highlighted during visualization
The identifier for this tree.
The identifier for this tree.
Note that this is unique only for RefTree.Ref. For RefTree.Null it is always null
,
and value (RefTree.Val) identifiers are shared across all equivalent values.
Change the name of the object
Convert to a field usable in other trees
Convert to a field usable in other trees
Add or remove highlighting
Add or remove highlighting
A RefTree for an object
Use the companion
apply
method to construct this tree.