let cmp_binop_neg binop = match binop with | Eq -> Ne | Ne -> Eq | Ge -> Lt | Le -> Gt | Gt -> Le | Lt -> Ge | _ -> assert false