diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2021-02-01 17:42:16 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-01 17:42:16 +0100 |
commit | ce7eaf8a70adf6d4b3d0c0d18e512b801fb73f9f (patch) | |
tree | f10692aef4ec2a4141fcb0d46a6c3e921d8c361a /stdlib/string.mli | |
parent | b23cb5a5f9ea1956633968bc88103ee9288f7145 (diff) | |
parent | c007cd1281f2fddbc166629522fd0f8c0e43749a (diff) | |
download | ocaml-ce7eaf8a70adf6d4b3d0c0d18e512b801fb73f9f.tar.gz |
Merge pull request #10144 from johnwhitington/iterators3
Remove duplicate Iterators sections, unify elsewhere
Diffstat (limited to 'stdlib/string.mli')
-rw-r--r-- | stdlib/string.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/string.mli b/stdlib/string.mli index d50ecf50c8..af2e5354cc 100644 --- a/stdlib/string.mli +++ b/stdlib/string.mli @@ -297,12 +297,12 @@ val rindex_opt : string -> char -> int option @since 4.05 *) -(** {1:converting Converting} *) +(** {1 Strings and Sequences} *) val to_seq : t -> char Seq.t (** [to_seq s] is a sequence made of the string's characters in increasing order. In ["unsafe-string"] mode, modifications of the string - during iteration will be reflected in the iterator. + during iteration will be reflected in the sequence. @since 4.07 *) |