From 93568949e6ca7bf8b1c5b6b6d2689c7c2186a0cc Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 19 Apr 2017 22:08:56 +0200
Subject: [PATCH] annotations in `CCEqual`, for optimization

---
 src/core/CCEqual.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/core/CCEqual.ml b/src/core/CCEqual.ml
index 9bcafb7e..90c98cbc 100644
--- a/src/core/CCEqual.ml
+++ b/src/core/CCEqual.ml
@@ -7,10 +7,10 @@ type 'a t = 'a -> 'a -> bool
 
 let poly = (=)
 
-let int = (=)
-let string = (=)
-let bool = (=)
-let float = (=)
+let int : int t = (=)
+let string : string t = (=)
+let bool : bool t = (=)
+let float : float t = (=)
 
 let rec list f l1 l2 = match l1, l2 with
   | [], [] -> true