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

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

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/relock.bend&name=Next
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/relock.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/relock.bend&name=plan
  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