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

import Base

# what an arm matches: from k up (text is its pattern), exactly k, or other
type Arm is Data:
  APlus{k: U32, text: String, line: U32, col: U32, len: U32}
  ALit{k: U32, line: U32, col: U32, len: U32}
  AOther{}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32