From f6829d1219515cc6ad26cefaab3b33cba5d6120d Mon Sep 17 00:00:00 2001 From: favonia Date: Sat, 22 May 2021 21:05:25 -0500 Subject: [PATCH] fix(list): add "since" for sorted_diff Co-authored-by: Simon Cruanes --- src/core/CCList.mli | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/core/CCList.mli b/src/core/CCList.mli index 6b5543a6..f9dd799f 100644 --- a/src/core/CCList.mli +++ b/src/core/CCList.mli @@ -502,9 +502,10 @@ val sorted_merge : cmp:('a -> 'a -> int) -> 'a list -> 'a list -> 'a list the given comparison function [cmp]. *) val sorted_diff : cmp:('a -> 'a -> int) -> 'a list -> 'a list -> 'a list -(** [sorted_merge ~cmp l1 l2] returns the elements in [l1] that are not in [l2]. +(** [sorted_diff ~cmp l1 l2] returns the elements in [l1] that are not in [l2]. Both lists are assumed to be sorted with respect to [cmp] and - duplicate elements are treated individually. *) + duplicate elements are treated individually. + @since NEXT_RELEASE *) val sort_uniq : cmp:('a -> 'a -> int) -> 'a list -> 'a list (** [sort_uniq ~cmp l] sorts the list [l] using the given comparison function [cmp]