def judge.move

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

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

106# a different commit is the upgrade only when it descends from the pin
107def judge.move(onward: Bool, +rev: String, +tag: String) -> Verdict:
108  match onward:
109    case True{}:
110      Advance{rev, tag}
111    case False{}:
112      Off{}

Uses (3)

Used by (1)