{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"mir::BinOp::Le"}]}
            mir::BinOp::Le | mir::BinOp::Lt | mir::BinOp::Ge | mir::BinOp::Gt => {
            }
                // a OP b ~ a.0 STRICT(OP) b.0 | (a.0 == b.0 && a.1 OP a.1)