{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//"}]}
            // * `scc1_universe`: the minimum universe of `scc2` and the constituents of `scc1`
            //
            // * `succ_bound`: placeholder `P` that the successors must outlive, if any (if there