def agree.nar

ezx@1.11.0.0 · src/ledger/upgrade.bend:125

import Base

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