def next.lock

ezx@1.11.0.0 · src/remove/relock.bend:61

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

61# the lock's step, once the remove succeeds
62def next.lock(st: P.Step, +world: World) -> Next:
63  match st:
64    case P.Asking{as, ups, ns}:
65      AskLock{R.asks(P.Asking{as, ups, ns})}
66    case P.Run{_pl}:
67      Planned{plan(world)}