diff options
Diffstat (limited to 'stdlib/string.mli')
| -rw-r--r-- | stdlib/string.mli | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/string.mli b/stdlib/string.mli index 0a5982db0..ddf2df1bd 100644 --- a/stdlib/string.mli +++ b/stdlib/string.mli @@ -2,8 +2,8 @@ external length : string -> int = "ml_string_length" -val get : string -> int -> char -val set : string -> int -> char -> unit +external get : string -> int -> char = "string_get" +external set : string -> int -> char -> unit = "string_set" external create : int -> string = "create_string" val make : int -> char -> string @@ -17,8 +17,8 @@ val concat : string -> string list -> string val escaped: string -> string -external unsafe_get : string -> int -> char = "%string_get" -external unsafe_set : string -> int -> char -> unit = "%string_set" +external unsafe_get : string -> int -> char = "%string_unsafe_get" +external unsafe_set : string -> int -> char -> unit = "%string_unsafe_set" external unsafe_blit : string -> int -> string -> int -> int -> unit = "blit_string" external unsafe_fill : string -> int -> int -> char -> unit = "fill_string" |