altTail method

UndoHeader<E> altTail()

The tail of the current alt UndoHeader linked list.

Implementation

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