Relock.lock.step: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/relock.bend as Relock
Lines 293-299 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=293&end_line=299

import Base
import ezx@1.11.0.0/src/lock/plan.bend as LP
import ezx@1.11.0.0/src/ws/up.bend as U

# the lock's step
def lock.step(lk: Lock) -> LP.Step:
  match lk:
    case Lock{+back, +world}:
      U.step(back, world)
    case Stop{why}:
      LP.Run{stop(why)}

Uses (4):
  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/ws/relock.bend&name=Lock
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/relock.bend&name=stop
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/up.bend&name=step