From 98ceaac8de45ca7f0a9f7a72906e2c9bf4b309f7 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 5 Dec 2023 13:03:53 -0500 Subject: [PATCH] detail --- src/core/CCList.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/CCList.mli b/src/core/CCList.mli index 865dca79..670be904 100644 --- a/src/core/CCList.mli +++ b/src/core/CCList.mli @@ -109,7 +109,7 @@ val unfold : ('seed -> ('b * 'seed) option) -> 'seed -> 'b list when [f] produces [None], list production ends. {b NOTE} if [f] never produces [None], then a {b stack overflow will occur}. Therefore, great care must be taken to ensure that [f] will produce [None]. - @since 3.13 + @since NEXT_RELEASE *) val count : ('a -> bool) -> 'a list -> int