diff --git a/src/core/CCResult.mli b/src/core/CCResult.mli index 8c5a9d49..ffd67510 100644 --- a/src/core/CCResult.mli +++ b/src/core/CCResult.mli @@ -188,9 +188,9 @@ end (** {2 Collections} *) val map_l : ('a -> ('b, 'err) t) -> 'a list -> ('b list, 'err) t -(** [map_l f l] apply [f] on every element of [l], and, in case of success for every - element, return [Ok (List.map f l)]. Otherwise, it fails, and the first error is - returned.*) +(** [map_l f \[a1; ...; an\]] applies function f to a1, ..., an , and, in case of + success for every elements, return the list of [Ok]-value. + Otherwise, it fails and return the first error encountered. Tail-recursive.*) val fold_l : ('b -> 'a -> ('b, 'err) t) -> 'b -> 'a list -> ('b, 'err) t