Fix typo in pattern usefulness documentation

Line 171 introduced `pt_1, .., pt_n` and `qt` as variable names, but
line 172 incorrectly used `tp_1, .., tp_n, tq`. This commit fixes the
inconsistency to use the correct variable names throughout.
This commit is contained in:
Sekar-C-Mca
2026-01-03 22:41:01 +05:30
parent a47f4dfd7f
commit 65c10702bd
@@ -169,7 +169,7 @@
//! on pattern-tuples.
//!
//! Let `pt_1, .., pt_n` and `qt` be length-m tuples of patterns for the same type `(T_1, .., T_m)`.
//! We compute `usefulness(tp_1, .., tp_n, tq)` as follows:
//! We compute `usefulness(pt_1, .., pt_n, qt)` as follows:
//!
//! - Base case: `m == 0`.
//! The pattern-tuples are all empty, i.e. they're all `()`. Thus `tq` is useful iff there are