{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"///"}]}
    /// that counter as its sole element.
    /// If a node was given a physical counter, the term list will contain
    pub(crate) counter_terms: IndexVec<Node, Vec<CounterTerm<Node>>>,