summaryrefslogtreecommitdiff
path: root/stdlib/listLabels.mli
diff options
context:
space:
mode:
authorJohn Whitington <john@coherentgraphics.co.uk>2021-01-12 17:10:39 +0000
committerJohn Whitington <john@coherentgraphics.co.uk>2021-01-12 17:10:39 +0000
commit8ea531bbe06ae2a870d824d3a24ec787eb720009 (patch)
treed2069bbfb23b92f93354e6e66b4006faa92bb4df /stdlib/listLabels.mli
parent35bf02588380f03a7352049cc139f57ca42ae2cf (diff)
downloadocaml-8ea531bbe06ae2a870d824d3a24ec787eb720009.tar.gz
Remove duplicate Iterators sections, unify elsewhere
Diffstat (limited to 'stdlib/listLabels.mli')
-rw-r--r--stdlib/listLabels.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/listLabels.mli b/stdlib/listLabels.mli
index ce5a7920ef..6245461301 100644
--- a/stdlib/listLabels.mli
+++ b/stdlib/listLabels.mli
@@ -486,7 +486,7 @@ val merge : cmp:('a -> 'a -> int) -> 'a list -> 'a list -> 'a list
Not tail-recursive (sum of the lengths of the arguments).
*)
-(** {1 Iterators} *)
+(** {1 Lists and Sequences} *)
val to_seq : 'a list -> 'a Seq.t
(** Iterate on the list.