Relock.remove.next.lock: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/relock.bend as Relock
Lines 396-402 of ezx@1.11.0.0/src/ws/relock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/relock.bend&start_line=396&end_line=402

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

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

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/relock/relock.bend&name=asks
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/relock.bend&name=Next
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/relock.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/relock.bend&name=Rooted
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/relock.bend&name=remove.plan