World.World: type of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/world.bend as World
Lines 77-82 of ezx@1.11.0.0/src/lock/world.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/world.bend&start_line=77&end_line=82

import Base
import ezx@1.11.0.0/src/lock/up.bend as Up

# everything `ez lock` reads. The ledger is ez.toml's text, or None when
# there is no ez.toml. `ups` answers the upgrade's questions, and is empty for
# a plain lock, which asks none.
type World is Data:
  World{args: Args, ledger: Maybe<&2, String>, listing: Listing,
    replies: List<&2, Reply>, ups: List<&2, Up.Reply>}

Uses (7):
  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/up.bend&name=Reply
  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