diff options
Diffstat (limited to 'stdlib/stringLabels.mli')
| -rw-r--r-- | stdlib/stringLabels.mli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/stdlib/stringLabels.mli b/stdlib/stringLabels.mli index 4ae8a72e1..6ff413e37 100644 --- a/stdlib/stringLabels.mli +++ b/stdlib/stringLabels.mli @@ -46,6 +46,12 @@ val make : int -> char -> string Raise [Invalid_argument] if [n < 0] or [n > ]{!Sys.max_string_length}. *) +val init : int -> (int -> char) -> string +(** [init n f] returns a string of length [n], + with character [i] initialized to the result of [f i]. + + Raise [Invalid_argument] if [n < 0] or [n > ]{!Sys.max_string_length}. *) + val copy : string -> string (** Return a copy of the given string. *) |