let int_bool_cmp_binop_name op e1 e2 =
let op = match op with
| Lt
(** < (arithmetic comparison) *) |
-> "lt_int_bool"
| Gt
(** > (arithmetic comparison) *) |
-> "gt_int_bool"
| Le
(** <= (arithmetic comparison) *) |
-> "le_int_bool"
| Ge
(** >= (arithmetic comparison) *) |
-> "ge_int_bool"
| Eq
(** == (arithmetic comparison) *) |
-> "eq_int_bool"
| Ne
(** != (arithmetic comparison) *) |
-> "neq_int_bool"
| _ -> assert false
in Fol.Tapp (op, [e1; e2])