{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//"}]}
        // A row is useful iff it has no (unguarded) rows above it.
        // The base case: there are no columns in the matrix. We are morally pattern-matching on ().
        let mut useful = true; // Whether the next row is useful.