{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
            // vertices semi[v] +> y *> v. Note that semi[v] = w as we're in the
            // eval returns a vertex y, for which semi[y] is minimum among
            // w bucket.