tail method

UndoHeader<E> tail()

The tail of the current UndoHeader linked list.

Implementation

UndoHeader<E> tail() {
  late UndoHeader<E> tail;
  for (UndoHeader<E>? prev = this; prev != null; prev = prev.prev) {
    tail = prev;
  }
  return tail;
}