{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// The core of the algorithm.
/// This recursively computes witnesses of the non-exhaustiveness of `matrix` (if any). Also tracks