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

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

# the World a plain `ez lock` reads, run in `here` over a ledger, the `.bend`
# files git lists, and the answers it was given. It asks the upgrade nothing.
def world(+here: String, ledger: Maybe<&2, String>, listing: W.Listing, rs: List<&2, W.Reply>) -> W.World:
  W.World{W.Args{False{}, "", here}, ledger, listing, rs, []}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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=Args
  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/lock/world.bend&name=World