summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2012-01-11 13:24:58 +0000
committerDamien Doligez <damien.doligez-inria.fr>2012-01-11 13:24:58 +0000
commitcbcf38ab47e69b401cd5921afc118d616fc8ea9f (patch)
tree50231b261ac59b469cd74d4c4f41f272e37ac6b1
parent25065da568e1ab18af637a8cbb7c320604b9bc2e (diff)
cut long lines
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--stdlib/list.mli12
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
*)