{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//!"}]}
//! `specialize(c, (p_0, .., p_n)) := specialize(c, p_0) ++ (p_1, .., p_m)`
//! We also extend specialization to pattern-tuples by applying it to the first pattern:
//! where `++` is concatenation of tuples.