{"ast_node_type":"import","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//"}]}
            // must be able to name the universe of R2, because R2 will
            // Remember that if `R1: R2`, then the universe of R1
            // be at least `'empty(Universe(R2))`, and `R1` must be at