{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"//"}]}
                                    // Empty regions are ordered according to the universe
                                VarValue::Empty(sup_universe) => {
                                    // they are associated with.