Arms.arms: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/correctness/arms.bend as Arms
Lines 105-114 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=105&end_line=114

import Base
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/syntax/tree.bend as Tree
import bolt@1.27.0.0/src/rules/tokens.bend as T

# a match's arms in order, against the widest n+p arm above each
def arms(body: Tree.Node, +wide: Maybe<&2, Wide>, +path: String) -> List<&2, F.Finding>:
  match body:
    case Tree.NCons{Tree.Stmt{Tree.SCase{}, kids, b}, rest}:
      +a = arm(T.pattern(kids))
      verdict(wide, a, path, arms(rest, widen(wide, a), path))
    case Tree.NCons{h, rest}:
      arms(rest, wide, path)
    case other:
      Nil{}

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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=Wide
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/arms.bend&name=arm
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/arms.bend&name=verdict
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/arms.bend&name=widen
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/tokens.bend&name=pattern
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/tree.bend&name=Node
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/tree.bend&name=StmtKind