Update src/core/CCList.mli

This commit is contained in:
Simon Cruanes 2024-11-15 10:38:13 -05:00 committed by GitHub
parent 65c604ca2b
commit 8a5cee47bd
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -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 val split_result : ('ok, 'error) result list -> 'ok list * 'error list
(** Split a list of results into [Ok]s and [Error]s. (** 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 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], (** [sorted_mem ~cmp x l] and [mem x l] give the same result for any sorted list [l],