Upgrade.judge.move: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/upgrade.bend as Upgrade
Lines 106-112 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=106&end_line=112

import Base

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

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/upgrade.bend&name=Verdict