From aa0f34c5c9e9691a30dad89173c6a747eeed4465 Mon Sep 17 00:00:00 2001
From: Jacques-Pascal Deplaix <jp.deplaix@gmail.com>
Date: Sun, 31 Dec 2017 12:02:26 +0100
Subject: [PATCH] Add CCEqual.physical

---
 src/core/CCEqual.ml  | 1 +
 src/core/CCEqual.mli | 4 ++++
 2 files changed, 5 insertions(+)

diff --git a/src/core/CCEqual.ml b/src/core/CCEqual.ml
index 3039b565..13ee4d79 100644
--- a/src/core/CCEqual.ml
+++ b/src/core/CCEqual.ml
@@ -6,6 +6,7 @@
 type 'a t = 'a -> 'a -> bool
 
 let poly = Pervasives.(=)
+let physical = Pervasives.(==)
 
 let int : int t = (=)
 let string : string t = Pervasives.(=)
diff --git a/src/core/CCEqual.mli b/src/core/CCEqual.mli
index 94230bfa..efcbc3ea 100644
--- a/src/core/CCEqual.mli
+++ b/src/core/CCEqual.mli
@@ -11,6 +11,10 @@ type 'a t = 'a -> 'a -> bool
 val poly : 'a t
 (** Standard polymorphic equality *)
 
+val physical : 'a t
+(** Standard physical equality
+    @since NEXT_RELEASE *)
+
 val int : int t
 val string : string t
 val bool : bool t