def remove.next.lock

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

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/remove/relock.bend as RR

396# the lock's step, once the remove succeeds
397def remove.next.lock(st: LP.Step, +root: Rooted, +world: RR.World) -> RR.Next:
398  match st:
399    case LP.Asking{as, ups, ns}:
400      RR.AskLock{R.asks(LP.Asking{as, ups, ns})}
401    case LP.Run{_pl}:
402      RR.Planned{remove.plan(root, world)}