def remove.next.made

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

import Base
import ezx@1.11.0.0/src/remove/relock.bend as RR

404# the remove refused is the plan; otherwise the lock is next
405def remove.next.made(refused: Bool, +root: Rooted, +world: RR.World) -> RR.Next:
406  match refused:
407    case True{}:
408      RR.Planned{remove.plan(root, world)}
409    case False{}:
410      remove.next.lock(lock.step(remove.lock(root, world)), root, world)