fix: expose always_eq/never_eq in CCEqual

see #232
This commit is contained in:
Simon Cruanes 2020-05-06 10:33:28 -04:00
parent b26021a976
commit 97e49b6a5c

View file

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