Relock.World: type of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/remove/relock.bend as Relock
Lines 18-21 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=18&end_line=21

import Base
import ezx@1.11.0.0/src/remove/plan.bend as RP
import ezx@1.11.0.0/src/lock/world.bend as W

# what `ez remove` reads: the remove's World, the directory it runs in, the
# `.bend` files git lists, and the answers to the lock's questions
type World is Data:
  World{remove: RP.World, here: String, listing: W.Listing, locks: List<&2, W.Reply>}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Listing
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Reply
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/plan.bend&name=World