{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"mir::BinOp::Le"}]}
                    mir::BinOp::Le => (IntPredicate::IntULE, IntPredicate::IntULT),
                    mir::BinOp::Lt => (IntPredicate::IntULT, IntPredicate::IntULT),
                    mir::BinOp::Gt => (IntPredicate::IntUGT, IntPredicate::IntUGT),