{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"pats:"}]}
            pats: self.pats.pop_head_constructor(cx, ctor, ctor_arity, ctor_is_relevant)?,
        Ok(MatrixRow {
            parent_row,