ElementStream.currentKilled

You should call this when you remove an element from the tree. It then doesn't recurse into that node and adjusts the current position, keeping the range stable.

class ElementStream
void
currentKilled
()

Meta