From 0a54024143ea08d665e6747da2aad0f2a0722a63 Mon Sep 17 00:00:00 2001 From: Matt Bray Date: Fri, 19 Mar 2021 11:42:41 +0000 Subject: [PATCH] doc: clarify CCOpt.filter --- src/core/CCOpt.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/core/CCOpt.mli b/src/core/CCOpt.mli index b0c0e54b..f8a5d98e 100644 --- a/src/core/CCOpt.mli +++ b/src/core/CCOpt.mli @@ -60,8 +60,8 @@ val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a Fold on 0 or 1 element. *) val filter : ('a -> bool) -> 'a t -> 'a t -(** [filter f o] returns [Some x] if [f (Some x)] is [true], - or [None] if [f (Some x)] is [false] or if [o] is [None]. +(** [filter f o] returns [Some x] if [o] is [Some x] and [f x] is [true], + or [None] if [f x] is [false] or if [o] is [None]. Filter on 0 or 1 element. @since 0.5 *)