diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-06-15 08:10:01 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-06-15 08:10:01 +0000 |
| commit | 9ef4bd08d158b513a349709f6e6b08aa37d2f190 (patch) | |
| tree | f57443d0d2134f9feb35e64918c20b40e4cfc34e /stdlib/string.mli | |
| parent | 00f1ca9d88753a8f1985862f5fd3ce3866a0c514 (diff) | |
Passage de {Array,String}.{get,set} en primitives C.
Renommage %array_get -> %array_unsafe_get, etc.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@31 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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" |