diff --git a/stdlib/listLabels.mli b/stdlib/listLabels.mli index 45e3c41ea1c6..a9be40b945d9 100644 --- a/stdlib/listLabels.mli +++ b/stdlib/listLabels.mli @@ -280,6 +280,10 @@ val fast_sort : cmp:('a -> 'a -> int) -> 'a list -> 'a list (** Same as {!List.sort} or {!List.stable_sort}, whichever is faster on typical input. *) +val sort_uniq : cmp:('a -> 'a -> int) -> 'a list -> 'a list +(** Same as {!ListLabels.sort}, but also remove duplicates. + @since 4.02.0 *) + val merge : cmp:('a -> 'a -> int) -> 'a list -> 'a list -> 'a list (** Merge two lists: Assuming that [l1] and [l2] are sorted according to the