From 8a5cee47bd7243a0d94b422f0eb96c660b7e2d45 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 15 Nov 2024 10:38:13 -0500 Subject: [PATCH] Update src/core/CCList.mli --- src/core/CCList.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/CCList.mli b/src/core/CCList.mli index d9c941d0..9182b749 100644 --- a/src/core/CCList.mli +++ b/src/core/CCList.mli @@ -497,7 +497,7 @@ val all_ok : ('a, 'err) result t -> ('a t, 'err) result val split_result : ('ok, 'error) result list -> 'ok list * 'error list (** Split a list of results into [Ok]s and [Error]s. - @since 3.14.1 *) + @since NEXT_RELEASE *) val sorted_mem : cmp:('a -> 'a -> int) -> 'a -> 'a list -> bool (** [sorted_mem ~cmp x l] and [mem x l] give the same result for any sorted list [l],