diff options
| -rw-r--r-- | stdlib/list.mli | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/list.mli b/stdlib/list.mli index 996436ef5..96166e25d 100644 --- a/stdlib/list.mli +++ b/stdlib/list.mli @@ -76,9 +76,9 @@ val iter : ('a -> unit) -> 'a list -> unit [begin f a1; f a2; ...; f an; () end]. *) val iteri : (int -> 'a -> unit) -> 'a list -> unit -(** Same as {!List.iter}, but the - function is applied to the index of the element as first argument (counting from 0), - and the element itself as second argument. +(** Same as {!List.iter}, but the function is applied to the index of + the element as first argument (counting from 0), and the element + itself as second argument. @since 3.13.0 *) @@ -88,9 +88,9 @@ val map : ('a -> 'b) -> 'a list -> 'b list with the results returned by [f]. Not tail-recursive. *) val mapi : (int -> 'a -> 'b) -> 'a list -> 'b list -(** Same as {!List.map}, but the - function is applied to the index of the element as first argument (counting from 0), - and the element itself as second argument. +(** Same as {!List.map}, but the function is applied to the index of + the element as first argument (counting from 0), and the element + itself as second argument. Not tail-recursive. @since 3.13.0 *) |