Method recursor_dump_matches_id

crates/kernel/src/inductive.rs:1383–1387

(&self, id: &KId<M>)

      let seed_name = aux_seed_names[source_idx].clone();
      let aux_addr = aux_id.addr.clone();
      let (ext_ty, ext_ctors, ext_n_params, ext_n_indices) =
        match self.get_const(&member.id)? {
          KConst::Indc { ty, ctors, params, indices, .. } => {
            (ty.clone(), ctors.clone(), params, indices)
          },
          _ => {
            return Err(TcError::Other(
              "canonical_aux_order: aux ext is not an inductive".into(),