Relock.plan: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/remove/relock.bend as Relock
Lines 47-50 of ezx@1.11.0.0/src/remove/relock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/remove/relock.bend&start_line=47&end_line=50

import Base
import ezx@1.11.0.0/src/remove/plan.bend as RP
import ezx@1.11.0.0/src/lock/plan.bend as P
import ezx@1.11.0.0/src/relock/relock.bend as R

# `ez remove` over a World: the remove, then the lock over what it leaves
def plan(world: World) -> P.Plan:
  World{+r, +here, +listing, +locks} = world
  R.join(RP.plan(r), lock(World{r, here, listing, locks}), [], tail())

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Plan
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/relock/relock.bend&name=join
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/plan.bend&name=plan
  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/remove/relock.bend&name=lock
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/relock.bend&name=tail