UndoTreeRootNode<E> constructor

UndoTreeRootNode<E>(
  1. UndoHeader<E>? tail
)

Implementation

UndoTreeRootNode(UndoHeader<E>? tail) {
  if (tail == null) {
    return;
  }
  edges.addAll(tail.altIter().map((e) => UndoTreeValueNode(e)));
}