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