1 files changed, 24 insertions, 0 deletions
diff --git a/stdlib/string.mli b/stdlib/string.mli
new file mode 100644
index 000000000..6dd586f86
--- /dev/null
+++ b/stdlib/string.mli
@@ -0,0 +1,24 @@
+(* String operations *)
+
+val length : string -> int = "ml_string_length"
+
+val get : string -> int -> char
+val set : string -> int -> char -> unit
+
+val create : int -> string = "create_string"
+val make : int -> char -> string
+val copy : string -> string
+val sub : string -> int -> int -> string
+
+val fill : string -> int -> int -> char -> unit
+val blit : string -> int -> string -> int -> int -> unit
+
+val escaped: string -> string
+
+val unsafe_get : string -> int -> char = "%string_get"
+val unsafe_set : string -> int -> char -> unit = "%string_set"
+val unsafe_blit : string -> int -> string -> int -> int -> unit
+                = "blit_string"
+val unsafe_fill : string -> int -> int -> char -> unit = "fill_string"
+
+