summaryrefslogtreecommitdiff
path: root/stdlib/list.mli
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2012-01-18 08:31:11 +0000
committerAlain Frisch <alain@frisch.fr>2012-01-18 08:31:11 +0000
commitc45bcb892d78f3182acb2805aef7ec6e23cce42a (patch)
treeb92b5d6becb9e67a198bc2e070d748eeef62bc3d /stdlib/list.mli
parentcdbb84ec682704379bac21a633cbd2b9e93b35a8 (diff)
parent869feeb00704e0640c45ffe6aee6cc13e4077f79 (diff)
downloadocaml-unused_declarations.tar.gz
Synchronize with trunk.unused_declarations
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@12034 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/list.mli')
-rw-r--r--stdlib/list.mli12
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/list.mli b/stdlib/list.mli
index 996436ef50..96166e25d9 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
*)