Skip to content

Commit

Permalink
Update src/core/CCList.mli
Browse files Browse the repository at this point in the history
  • Loading branch information
c-cube authored Nov 15, 2024
1 parent 65c604c commit 8a5cee4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/core/CCList.mli
Original file line number Diff line number Diff line change
Expand Up @@ -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],
Expand Down

0 comments on commit 8a5cee4

Please sign in to comment.