type Arm

bolt@1.27.0.0 · src/rules/correctness/arms.bend:17

import Base

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