{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// A 2D matrix. Represents a list of pattern-tuples under investigation.
/// Invariant: each row must have the same length, and each column must have the same type.