def next.lock

ezx@1.11.0.0 · src/add/relock.bend:200

import Base
import ezx@1.11.0.0/src/lock/plan.bend as P
import ezx@1.11.0.0/src/relock/relock.bend as R

200# the lock's step, once the add is planned and succeeds
201def next.lock(st: P.Step, +world: World) -> Next:
202  match st:
203    case P.Asking{as, ups, ns}:
204      AskLock{R.asks(P.Asking{as, ups, ns})}
205    case P.Run{_pl}:
206      Planned{plan(world)}