Up.Next: type of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/up.bend as Up
Lines 139-156 of ezx@1.11.0.0/src/lock/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/up.bend&start_line=139&end_line=156

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

# what the upgrade decided. `model` is the ledger model the upgrade renders
# into ez.toml, and ez.toml as it is when the upgrade refuses, still asks, or
# moves nothing; the upgrade's decisions are stated over it. `read` is the
# ledger the lock is made from: the one the upgrade writes, read back, or
# ez.toml as it is when nothing moved.
# `stop` is why the upgrade refuses, "" when it does not; a World with
# questions still open refuses too, and names them in `asks`. The rest is what
# the upgrade writes around the lock: the trees it checked out, the hashes
# committed under `.ez/lib`, the lines a person is told, ez.toml and
# `.gitignore` when they change, the project's sources, which it writes where
# a moved hash is rewritten (`edit.sources`), the committed trees it removes,
# and the hashes import lines stop naming, each with the hash that replaces
# it, which the lock reads the committed sources through. The sources are
# rewritten once, by the plan, and not on every round of questions.
type Next is Data:
  Next{model: M.Read, read: M.Read, stop: String, asks: List<&2, Ask>, trees: List<&2, Laid>,
    vends: List<&2, String>, says: List<&2, String>, edits: List<&2, Edit>,
    found: List<&2, Found>, drops: List<&2, String>, swaps: List<&2, U.Swap>}

Uses (8):
  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/ledger/upgrade.bend&name=Swap
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Ask
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Edit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Found
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Laid