From 4e9eeb50e5b50857802f2f7bd3cd80eabcff9603 Mon Sep 17 00:00:00 2001 From: Fardale Date: Sat, 27 Jan 2018 23:48:47 +0100 Subject: [PATCH] add @since for delete_all --- src/core/CCHeap.mli | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/core/CCHeap.mli b/src/core/CCHeap.mli index 54d65353..dca9f91e 100644 --- a/src/core/CCHeap.mli +++ b/src/core/CCHeap.mli @@ -57,7 +57,8 @@ module type S = sig val delete_all : (elt -> elt -> bool) -> elt -> t -> t (** Delete value if it exist in the heap. - [delete_all eq x h], use [eq] to find all [x] in [h] and delete them *) + [delete_all eq x h], use [eq] to find all [x] in [h] and delete them + @since NEXT_RELEASE *) val iter : (elt -> unit) -> t -> unit (** Iterate on elements *)