diff options
Diffstat (limited to 'stdlib/stringLabels.mli')
| -rw-r--r-- | stdlib/stringLabels.mli | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/stdlib/stringLabels.mli b/stdlib/stringLabels.mli index 84f618be2..f9be415cc 100644 --- a/stdlib/stringLabels.mli +++ b/stdlib/stringLabels.mli @@ -88,19 +88,21 @@ val iteri : f:(int -> char -> unit) -> string -> unit (** Same as {!String.iter}, but the function is applied to the index of the element as first argument (counting from 0), and the character itself as second argument. - @since 3.13.0 + @since 4.00.0 *) val map : f:(char -> char) -> string -> string (** [String.map f s] applies function [f] in turn to all the characters of [s] and stores the results in a new string that - is returned. *) + is returned. + @since 4.00.0 *) val trim : string -> string (** Return a copy of the argument, without leading and trailing whitespace. The characters regarded as whitespace are: [' '], ['\012'], ['\n'], ['\r'], and ['\t']. If there is no whitespace character in the argument, - return the original string itself, not a copy. *) + return the original string itself, not a copy. + @since 4.00.0 *) val escaped : string -> string (** Return a copy of the argument, with special characters |