Relock.plan: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/add/relock.bend as Relock
Lines 179-183 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=179&end_line=183

import Base
import ezx@1.11.0.0/src/add/plan.bend as AP
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 add` over a World: the add, then the lock over what it leaves
def plan(world: World) -> P.Plan:
  World{+a, +listing, +locks} = world
  R.join(AP.command(a), lock(World{a, listing, locks}), notes(World{a, listing, locks}),
    tail(a))

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