From 97e49b6a5cdaece687b64ccf2141c0024a430862 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 6 May 2020 10:33:28 -0400
Subject: [PATCH] fix: expose always_eq/never_eq in `CCEqual`

see #232
---
 src/core/CCEqual.mli | 10 ++++++++++
 1 file changed, 10 insertions(+)

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}. *)