{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"//"}]}
                                    // they are associated with.
                                    // Empty regions are ordered according to the universe
                                    let ui = sub_universe.min(sup_universe);