{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"//"}]}
    //
    // the LUB/GLB of `a` and `b` as appropriate.
    // Subtle hack: ordering *may* be significant here. This method