let real_bool_cmp_binop_name op e1 e2 =
let op = match op with
| Lt
(** < (arithmetic comparison) *) |
-> "lt_real_bool"
| Gt
(** > (arithmetic comparison) *) |
-> "gt_real_bool"
| Le
(** <= (arithmetic comparison) *) |
-> "le_real_bool"
| Ge
(** >= (arithmetic comparison) *) |
-> "ge_real_bool"
| Eq
(** == (arithmetic comparison) *) |
-> "eq_real_bool"
| Ne
(** != (arithmetic comparison) *) |
-> "neq_real_bool"
| _ -> assert false
in Fol.Tapp (op, [e1; e2])