* Redo edit operations until the next stop point created by `pushStackElement`. * The inverse edit operations will be pushed on the undo stack. * @internal
()
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected