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