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

import Base

# the three fields a checkout can disagree on, each required
def agree.nar(same_nar: Bool, same_root: Bool) -> Bool:
  match same_nar:
    case False{}:
      False{}
    case True{}:
      same_root

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool