blob: 0a5982db0c445f275d467a574a2bd348090c19b5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
(* String operations *)
external length : string -> int = "ml_string_length"
val get : string -> int -> char
val set : string -> int -> char -> unit
external 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 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_blit : string -> int -> string -> int -> int -> unit
= "blit_string"
external unsafe_fill : string -> int -> int -> char -> unit = "fill_string"
|
