{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// Invariant: each row must have the same length, and each column must have the same type.
/// Invariant: the first column must not contain or-patterns. This is handled by