Up.dep.onward: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/up.bend as Up
Lines 714-732 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=714&end_line=732

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

# a different commit, once ancestry is known. The commit moved, so no
# checkout at the pin was weighed and none agrees with it.
def dep.onward(
  asc: Asc,
  +rs: List<&2, Reply>,
  +hub: String,
  +dep: M.Dep,
  +tip: String,
  +tag: String,
  +branch: String
) -> Fate:
  match asc:
    case Asc{yes}:
      dep.verdict(U.judge(False{}, yes, False{}, tip, tag), rs, hub, dep, tip,
        branch, "")
    case AscWait{ask}:
      Waits{[ask]}
    case AscNo{why}:
      Halts{why}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Dep
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/upgrade.bend&name=judge
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Asc
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Fate
  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/up.bend&name=dep.verdict