Upgrade.agree.go: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/upgrade.bend as Upgrade
Lines 133-139 of ezx@1.11.0.0/src/ledger/upgrade.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ledger/upgrade.bend&start_line=133&end_line=139

import Base

# whether a recomputed pin is the one the ledger already recorded
def agree.go(same_hash: Bool, same_nar: Bool, same_root: Bool) -> Bool:
  match same_hash:
    case False{}:
      False{}
    case True{}:
      agree.nar(same_nar, same_root)

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/upgrade.bend&name=agree.nar