diff --git a/src/core/CCEqual.mli b/src/core/CCEqual.mli
index 0ebc13c4..75337e4f 100644
--- a/src/core/CCEqual.mli
+++ b/src/core/CCEqual.mli
@@ -38,6 +38,16 @@ val map : ('a -> 'b) -> 'b t -> 'a t
     [map fst int] compares values of type [(int * 'a)]  by their
       first component. *)
 
+val always_eq : _ t
+(** Always returns true. All values are equal.
+    @since NEXT_RELEASE *)
+
+val never_eq : _ t
+(** Always returns false. No values are, so this
+    is not even reflexive (i.e. [x=x] is false).
+    Be careful!
+    @since NEXT_RELEASE *)
+
 module Infix : sig
   val (>|=) : 'b t -> ('a -> 'b) -> 'a t
   (** Infix equivalent of {!map}. *)