Upgrade.agree: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/upgrade.bend as Upgrade
Lines 141-143 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=141&end_line=143

import Base

# whether a recomputed pin is the one the ledger already recorded
def agree(+oh: String, +nh: String, +onar: String, +nnar: String, +oroot: String, +nroot: String) -> Bool:
  agree.go(String.eq(oh, nh), String.eq(onar, nnar), String.eq(oroot, nroot))

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