Up.next: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/lock/up.bend as Up
Lines 1283-1291 of ezx@1.13.0.0/src/lock/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/lock/up.bend&start_line=1283&end_line=1291

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

# `ez lock --upgrade [--package only]` over the ledger and the answers so far.
# A ledger that does not parse is the plain lock's refusal.
def next(+only: String, read: M.Read, +rs: List<&2, Reply>) -> Next:
  match read:
    case M.Bad{why}:
      plain(M.Bad{why})
    case M.Good{+m}:
      M.Manifest{_name, _entry, _bin, _hub, _pubas, _pubver, +ds, +ts} = m
      known(Bool.or(U.known(only, ds), M.tool.known(only, ts)), only, rs, m)

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  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.13.0.0/src/ledger/manifest.bend&name=Manifest
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ledger/manifest.bend&name=Read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ledger/manifest.bend&name=tool.known
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ledger/upgrade.bend&name=known
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/up.bend&name=Next
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/up.bend&name=Reply
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/up.bend&name=known
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/up.bend&name=plain