diff --git a/infer/src/IR/Binop.ml b/infer/src/IR/Binop.ml
index 13e5b19ad..da7d65fdf 100644
--- a/infer/src/IR/Binop.ml
+++ b/infer/src/IR/Binop.ml
@@ -49,7 +49,7 @@ let injective = function PlusA _ | PlusPI | MinusA _ | MinusPI | MinusPP -> true
     "don't know". *)
 let is_zero_runit = function PlusA _ | PlusPI | MinusA _ | MinusPI | MinusPP -> true | _ -> false
 
-let text = function
+let to_string = function
   | PlusA _ ->
       "+"
   | PlusPI ->
@@ -92,7 +92,6 @@ let text = function
       "||"
 
 
-(** Pretty print a binary operator. *)
 let str pe binop =
   match pe.Pp.kind with
   | HTML -> (
@@ -110,6 +109,6 @@ let str pe binop =
     | Shiftrt ->
         " >> "
     | _ ->
-        text binop )
+        to_string binop )
   | _ ->
-      text binop
+      to_string binop
diff --git a/infer/src/IR/Binop.mli b/infer/src/IR/Binop.mli
index 4b5d71b47..deea20e45 100644
--- a/infer/src/IR/Binop.mli
+++ b/infer/src/IR/Binop.mli
@@ -35,6 +35,8 @@ type t =
   | LOr  (** logical or. Does not always evaluate both operands. *)
 [@@deriving compare]
 
+val str : Pp.env -> t -> string
+
 val equal : t -> t -> bool
 
 val injective : t -> bool
@@ -45,5 +47,3 @@ val is_zero_runit : t -> bool
 (** This function returns true if 0 is the right unit of [binop]. The return value false means
     "don't know". *)
 
-val str : Pp.env -> t -> string
-(** String representation of a binary operator. *)