type Wide

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

import Base

23# the widest n+p arm so far: its k and its pattern
24type Wide is Data:
25  Wide{k: U32, text: String}