{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//!"}]}
//! The central concept of this file is the notion of "usefulness". Given some patterns `p_1 ..
//!
//! p_n`, a pattern `q` is said to be *useful* if there is a value that is matched by `q` and by