def add.next.made

ezx@1.11.0.0 · src/ws/relock.bend:342

import Base
import ezx@1.11.0.0/src/add/relock.bend as AR

342# the add's plan made: refused, it is the plan; otherwise the lock is next
343def add.next.made(refused: Bool, +root: Rooted, +world: AR.World) -> AR.Next:
344  match refused:
345    case True{}:
346      AR.Planned{add.plan(root, world)}
347    case False{}:
348      add.next.lock(lock.step(add.lock(root, world)), root, world)