~/jendhub

def agree.go

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

import ezx@1.11.0.0/src/ledger/upgrade.bend as Upgrade
import Base

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

Uses (2)

Used by (1)