ExhaustivenessChecker::Column

A column in a pattern matching table.

A column contains a single variable to test, and a pattern to test against that variable. A row may contain multiple columns, though this wouldn't be exposed to the source language (it's an implementation detail)

x is the variable, Just(a) is the pattern:

case x { Just(a) => ... }