Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Replace shared root with optional root
This simplifies the node manipulation, as we can (in later commits) always know when traversing nodes that we are not in a shared root.
- Loading branch information