Arms.verdict.on: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/correctness/arms.bend as Arms
Lines 79-95 of bolt@1.27.0.0/src/rules/correctness/arms.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/correctness/arms.bend&start_line=79&end_line=95

import Base
import bolt@1.27.0.0/src/finding.bend as F

# a finding when the arm is inside the widest one above
def verdict.on(+kk: U32, +text: String, aa: Arm, +path: String, +more: List<&2, F.Finding>) -> List<&2, F.Finding>:
  match aa:
    case APlus{+j, t, l, c, n}:
      Bool.pick(List<&2, F.Finding>, U32.is_ge(j, kk),
        F.Finding{path, l, c, n, "arms",
          "Unreachable: the case " ++ text ++ " above already matches everything from " ++ U32.show(j)
            ++ "n up; put narrower arms first."} <> more,
        more)
    case ALit{+m, l, c, n}:
      Bool.pick(List<&2, F.Finding>, U32.is_ge(m, kk),
        F.Finding{path, l, c, n, "arms",
          "Unreachable: the case " ++ text ++ " above already matches " ++ U32.show(m) ++ "n; put narrower arms first."}
          <> more,
        more)
    case AOther{}:
      more

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_ge
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.show
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/finding.bend&name=Finding
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/arms.bend&name=Arm