let float_operator phi = function | PlusA -> R.f_op phi Formula.Radd | MinusA -> R.f_op phi Formula.Rsub | Mult -> R.f_op phi Formula.Rmul | Div -> R.f_op phi Formula.Rdiv | _ -> assert false