This commit is contained in:
Simon Cruanes 2023-12-05 13:03:53 -05:00
parent 36790cf3ed
commit 98ceaac8de
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -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