Relock.lock.plan: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/ws/relock.bend as Relock
Lines 285-291 of ezx@1.13.0.0/src/ws/relock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/ws/relock.bend&start_line=285&end_line=291

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

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/plan.bend&name=Plan
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/relock.bend&name=Lock
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/relock.bend&name=stop
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/up.bend&name=plan