{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"//!"}]}
//! We compute `usefulness(tp_1, .., tp_n, tq)` as follows:
//! Let `pt_1, .., pt_n` and `qt` be length-m tuples of patterns for the same type `(T_1, .., T_m)`.
//!