{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
    /// When a whole or-pattern has been dealt with, the thing happens.
    /// When each `p_i` has been dealt with, the top set is merged with its parent.
    ///