def add.next.lock

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

import Base
import ezx@1.11.0.0/src/lock/plan.bend as LP
import ezx@1.11.0.0/src/relock/relock.bend as R
import ezx@1.11.0.0/src/add/relock.bend as AR

334# the lock's step, once the add is planned and succeeds
335def add.next.lock(st: LP.Step, +root: Rooted, +world: AR.World) -> AR.Next:
336  match st:
337    case LP.Asking{as, ups, ns}:
338      AR.AskLock{R.asks(LP.Asking{as, ups, ns})}
339    case LP.Run{_pl}:
340      AR.Planned{add.plan(root, world)}