World.Inputs: type of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/world.bend as World
Lines 96-103 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=96&end_line=103

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

# the part of a World the lock may depend on: the ledger the lock is made
# from, read, which under `--upgrade` is the one the upgrade leaves; why the
# upgrade refuses, "" when it does not; the committed sources; and the verdict
# on every package. A reply enters only through its verdict, so how the bytes
# arrived does not, and bytes that failed a check enter only as the refusal
# they caused.
type Inputs is Data:
  Inputs{ledger: M.Read, stop: String, listing: Listing, judged: List<&2, Judged>}

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/ledger/manifest.bend&name=Read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Judged
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Listing