{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//!"}]}
//!     The pattern-tuples are all empty, i.e. they're all `()`. Thus `tq` is useful iff there are
//! - Base case: `m == 0`.
//!     no rows above it, i.e. if `n == 0`. In that case we return `()` as a witness-tuple of