module String: StringLabelstypet =string
字串的型別。
val make : int -> char -> stringmake n c 會建立一個長度為 n 的字串，其中每個索引都包含字元 c。
n < 0 或 n > Sys.max_string_length，則會引發 Invalid_argument。val init : int -> f:(int -> char) -> stringinit n ~f 會建立一個長度為 n 的字串，其中索引 i 包含字元 f i（以遞增的索引順序呼叫）。
n < 0 或 n > Sys.max_string_length，則會引發 Invalid_argument。val empty : string空字串。
val length : string -> intlength s 是 s 的長度（位元組/字元數）。
val get : string -> int -> charget s i 是 s 中索引 i 的字元。這與寫 s.[i] 相同。
i 不是 s 的索引，則會引發 Invalid_argument。val of_bytes : bytes -> string傳回一個新的字串，其中包含與給定位元組序列相同的位元組。
val to_bytes : string -> bytes傳回一個新的位元組序列，其中包含與給定字串相同的位元組。
val blit : src:string -> src_pos:int -> dst:bytes -> dst_pos:int -> len:int -> unit與 Bytes.blit_string 相同，應該優先使用它。
注意。 二元運算子 (^) 會串接兩個字串。
val concat : sep:string -> string list -> stringconcat ~sep ss 會串接字串列表 ss，並在每個字串之間插入分隔符號字串 sep。
Sys.max_string_length 個位元組，則會引發 Invalid_argument。val cat : string -> string -> stringcat s1 s2 會串接 s1 和 s2 (s1 ^ s2)。
Sys.max_string_length 個位元組，則會引發 Invalid_argument。val equal : t -> t -> boolequal s0 s1 若且唯若 s0 和 s1 的字元逐個相等，則為 true。
val compare : t -> t -> intcompare s0 s1 會以字典順序排序 s0 和 s1。compare 的行為類似於字串上的 compare，但可能更有效率。
val starts_with : prefix:string -> string -> boolstarts_with ~prefix s 若且唯若 s 以 prefix 開頭，則為 true。
val ends_with : suffix:string -> string -> boolends_with ~suffix s 若且唯若 s 以 suffix 結尾，則為 true。
val contains_from : string -> int -> char -> boolcontains_from s start c 若且唯若 c 出現在 s 中位置 start 之後，則為 true。
start 不是 s 中的有效位置，則會引發 Invalid_argument。val rcontains_from : string -> int -> char -> boolrcontains_from s stop c 若且唯若 c 出現在 s 中位置 stop+1 之前，則為 true。
stop < 0 或 stop+1 不是 s 中的有效位置，則會引發 Invalid_argument。val contains : string -> char -> boolcontains s c 為 String.contains_from s 0 c。
val sub : string -> pos:int -> len:int -> stringsub s ~pos ~len 是一個長度為 len 的字串，其中包含 s 的子字串，該子字串從位置 pos 開始，長度為 len。
pos 和 len 沒有指定 s 的有效子字串，則會引發 Invalid_argument。val split_on_char : sep:char -> string -> string listsplit_on_char ~sep s 是 s 的所有（可能為空）子字串的列表，這些子字串以字元 sep 分隔。若 s 為空，則結果為單例列表 [""]。
函數的結果由下列不變性指定
sep 作為分隔符號串接其元素會傳回一個等於輸入的字串 (concat (make 1 sep)
(split_on_char sep s) = s)。sep 字元。val map : f:(char -> char) -> string -> stringmap f s 是將 f 應用於 s 的所有字元（以遞增順序）所產生的字串。
val mapi : f:(int -> char -> char) -> string -> stringmapi ~f s 與 StringLabels.map 類似，但字元的索引也會傳遞給 f。
val fold_left : f:('acc -> char -> 'acc) -> init:'acc -> string -> 'accfold_left f x s 計算 f (... (f (f x s.[0]) s.[1]) ...) s.[n-1]，其中 n 是字串 s 的長度。
val fold_right : f:(char -> 'acc -> 'acc) -> string -> init:'acc -> 'accfold_right f s x 計算 f s.[0] (f s.[1] ( ... (f s.[n-1] x) ...))，其中 n 是字串 s 的長度。
val for_all : f:(char -> bool) -> string -> boolfor_all p s 檢查 s 中的所有字元是否滿足謂詞 p。
val exists : f:(char -> bool) -> string -> boolexists p s 檢查 s 中是否至少有一個字元滿足謂詞 p。
val trim : string -> stringtrim s 是 s，不包含開頭和結尾的空白。空白字元為：' '、'\x0C' (換頁符號)、'\n'、'\r' 和 '\t'。
val escaped : string -> stringescaped s 是 s，其中特殊字元以跳脫序列表示，遵循 OCaml 的詞彙慣例。
所有在 US-ASCII 可列印範圍 [0x20;0x7E] 之外的字元，以及反斜線 (0x2F) 和雙引號 (0x22) 都會被跳脫。
函數 Scanf.unescaped 是 escaped 的左反函數，即對於任何字串 s，Scanf.unescaped (escaped s) = s（除非 escaped s 失敗）。
Sys.max_string_length 個位元組，則會引發 Invalid_argument。val uppercase_ascii : string -> stringuppercase_ascii s 是 s，其中所有小寫字母都轉換為大寫，使用 US-ASCII 字元集。
val lowercase_ascii : string -> stringlowercase_ascii s 是 s，其中所有大寫字母都轉換為小寫，使用 US-ASCII 字元集。
val capitalize_ascii : string -> stringcapitalize_ascii s 是 s，其中第一個字元設為大寫，使用 US-ASCII 字元集。
val uncapitalize_ascii : string -> stringuncapitalize_ascii s 是 s，其中第一個字元設為小寫，使用 US-ASCII 字元集。
val iter : f:(char -> unit) -> string -> unititer ~f s 依次將函數 f 應用於 s 的所有字元。它等同於 f s.[0]; f s.[1]; ...; f s.[length s - 1]; ()。
val iteri : f:(int -> char -> unit) -> string -> unititeri 與 StringLabels.iter 類似，但函數也會獲得對應的字元索引。
val index_from : string -> int -> char -> intindex_from s i c 是 c 在 s 中位置 i 之後第一次出現的索引。
c 沒有出現在 s 中位置 i 之後，則會引發 Not_found。i 不是 s 中的有效位置，則會引發 Invalid_argument。val index_from_opt : string -> int -> char -> int optionindex_from_opt s i c 是 c 在 s 中位置 i 之後第一次出現的索引（如果有的話）。
i 不是 s 中的有效位置，則會引發 Invalid_argument。val rindex_from : string -> int -> char -> intrindex_from s i c 是 c 在 s 中位置 i+1 之前最後一次出現的索引。
c 沒有出現在 s 中位置 i+1 之前，則會引發 Not_found。i+1 不是 s 中的有效位置，則會引發 Invalid_argument。val rindex_from_opt : string -> int -> char -> int optionrindex_from_opt s i c 是 c 在 s 中位置 i+1 之前最後一次出現的索引（如果有的話）。
i+1 不是 s 中的有效位置，則會引發 Invalid_argument。val index : string -> char -> intindex s c 為 String.index_from s 0 c。
val index_opt : string -> char -> int optionindex_opt s c 為 String.index_from_opt s 0 c。
val rindex : string -> char -> intrindex s c 為 String.rindex_from s (length s - 1) c。
val rindex_opt : string -> char -> int optionrindex_opt s c 為 String.rindex_from_opt s (length s - 1) c。
val to_seq : t -> char Seq.tto_seq s 是由字串的字元以遞增順序組成的序列。在 "unsafe-string" 模式下，在迭代期間修改字串將反映在序列中。
val to_seqi : t -> (int * char) Seq.tto_seqi s 與 StringLabels.to_seq 類似，但也會包含對應的索引。
val of_seq : char Seq.t -> tof_seq s 是由序列的字元組成的字串。
val get_utf_8_uchar : t -> int -> Uchar.utf_decodeget_utf_8_uchar b i 會在 b 中索引 i 處解碼一個 UTF-8 字元。
val is_valid_utf_8 : t -> boolis_valid_utf_8 b 若且唯若 b 包含有效的 UTF-8 資料，則為 true。
val get_utf_16be_uchar : t -> int -> Uchar.utf_decodeget_utf_16be_uchar b i 會在 b 中索引 i 處解碼一個 UTF-16BE 字元。
val is_valid_utf_16be : t -> boolis_valid_utf_16be b 若且唯若 b 包含有效的 UTF-16BE 資料，則為 true。
val get_utf_16le_uchar : t -> int -> Uchar.utf_decodeget_utf_16le_uchar b i 會在 b 中索引 i 處解碼一個 UTF-16LE 字元。
val is_valid_utf_16le : t -> boolis_valid_utf_16le b 若且唯若 b 包含有效的 UTF-16LE 資料，則為 true。
本節中的函數會從字串中二進位解碼整數。
如果索引 i 所需的字元無法用於解碼整數，則以下所有函數都會引發 Invalid_argument 異常。
小端（little-endian）編碼（反之，大端（big-endian）編碼）表示最小（反之，最大）有效位元組會先儲存。大端編碼也稱為網路位元組順序。原生端（Native-endian）編碼是小端或大端，取決於 Sys.big_endian 的值。
32 位元和 64 位元整數分別由 int32 和 int64 型別表示，它們可以被解釋為帶號或無號數字。
8 位元和 16 位元整數由 int 型別表示，該型別的位元數多於二進制編碼。對於解碼 8 位元或 16 位元整數並以 int 值表示它們的函數，這些額外的位元會進行符號擴展（或零擴展）。
val get_uint8 : string -> int -> intget_uint8 b i 會傳回 b 從字元索引 i 開始的無號 8 位元整數。
val get_int8 : string -> int -> intget_int8 b i 會傳回 b 從字元索引 i 開始的帶號 8 位元整數。
val get_uint16_ne : string -> int -> intget_uint16_ne b i 會傳回 b 從字元索引 i 開始的原生端無號 16 位元整數。
val get_uint16_be : string -> int -> intget_uint16_be b i 會傳回 b 從字元索引 i 開始的大端無號 16 位元整數。
val get_uint16_le : string -> int -> intget_uint16_le b i 會傳回 b 從字元索引 i 開始的小端無號 16 位元整數。
val get_int16_ne : string -> int -> intget_int16_ne b i 會傳回 b 從字元索引 i 開始的原生端帶號 16 位元整數。
val get_int16_be : string -> int -> intget_int16_be b i 會傳回 b 從字元索引 i 開始的大端帶號 16 位元整數。
val get_int16_le : string -> int -> intget_int16_le b i 會傳回 b 從字元索引 i 開始的小端帶號 16 位元整數。
val get_int32_ne : string -> int -> int32get_int32_ne b i 會傳回 b 從字元索引 i 開始的原生端 32 位元整數。
val hash : t -> int一個用於字串的無種子雜湊函數，其輸出值與 Hashtbl.hash 相同。此函數允許將此模組作為函子 Hashtbl.Make 的參數傳遞。
val seeded_hash : int -> t -> int一個用於字串的有種子雜湊函數，其輸出值與 Hashtbl.seeded_hash 相同。此函數允許將此模組作為函子 Hashtbl.MakeSeeded 的參數傳遞。
val get_int32_be : string -> int -> int32get_int32_be b i 會傳回 b 從字元索引 i 開始的大端 32 位元整數。
val get_int32_le : string -> int -> int32get_int32_le b i 會傳回 b 從字元索引 i 開始的小端 32 位元整數。
val get_int64_ne : string -> int -> int64get_int64_ne b i 會傳回 b 從字元索引 i 開始的原生端 64 位元整數。
val get_int64_be : string -> int -> int64get_int64_be b i 會傳回 b 從字元索引 i 開始的大端 64 位元整數。
val get_int64_le : string -> int -> int64get_int64_le b i 會傳回 b 從字元索引 i 開始的小端 64 位元整數。