True if there are trees to the right of the focus, false if focused node is last in its forest.
Underlying tree type.
Zipper to be queried.
True if there are trees to the right of the focus.
True if there are trees to the right of the focus, false if focused node is last in its forest.