From 0b759c67b89515af128577fa002f9976323e2cae Mon Sep 17 00:00:00 2001 From: Fardale Date: Sat, 14 Dec 2019 20:40:33 +0100 Subject: [PATCH] CCVector: update the doc --- src/core/CCVector.mli | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/core/CCVector.mli b/src/core/CCVector.mli index a044d3e2..b76ff238 100644 --- a/src/core/CCVector.mli +++ b/src/core/CCVector.mli @@ -130,10 +130,13 @@ val member : eq:('a -> 'a -> bool) -> 'a -> ('a, _) t -> bool val sort : ('a -> 'a -> int) -> ('a, _) t -> ('a, 'mut) t (** Sort the vector, returning a copy of it that is sorted - w.r.t the given ordering. The vector itself is unchanged. *) + w.r.t the given ordering. The vector itself is unchanged. + The underlying array of the new vector can be smaller than + the original one. *) val sort' : ('a -> 'a -> int) -> ('a, rw) t -> unit -(** Sort the vector in place (modifying it). *) +(** Sort the vector in place (modifying it). + This function change the size of the underlying array. *) val uniq_sort : ('a -> 'a -> int) -> ('a, rw) t -> unit (** Sort the array and remove duplicates, in place (e.g. modifying