type Inputs
import ezx@1.11.0.0/src/lock/world.bend as Worldimport Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
96# the part of a World the lock may depend on: the ledger the lock is made
97# from, read, which under `--upgrade` is the one the upgrade leaves; why the
98# upgrade refuses, "" when it does not; the committed sources; and the verdict
99# on every package. A reply enters only through its verdict, so how the bytes
100# arrived does not, and bytes that failed a check enter only as the refusal
101# they caused.
102type Inputs is Data:
103 Inputs{ledger: M.Read, stop: String, listing: Listing, judged: List<&2, Judged>}