{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"//"}]}
        // (a, b) are in a consistent relative order
        // the same thing consistently when queried, so ensure that
        if a > b {