{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"//!"}]}
//! where `++` is concatenation of tuples.
//! `specialize(c, (p_0, .., p_n)) := specialize(c, p_0) ++ (p_1, .., p_m)`
//!