{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"///"}]}
    /// It is the smallest nameable universes of all
    /// The largest universe nameable from this SCC.
    /// existential regions reachable from it.