def agree
import ezx@1.11.0.0/src/ledger/upgrade.bend as Upgradeimport Base
141# whether a recomputed pin is the one the ledger already recorded
142def agree(+oh: String, +nh: String, +onar: String, +nnar: String, +oroot: String, +nroot: String) -> Bool:
143 agree.go(String.eq(oh, nh), String.eq(onar, nnar), String.eq(oroot, nroot))