{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
    // member of the SCC, but also if you have `R1: R2`, then the universe of
    // this is both the minimum of the universes for every region that is a
    // `R2` must be less than the universe of `R1` (i.e., `R1` flows `R2`). To