aboutsummaryrefslogtreecommitdiff
path: root/UTF8.mli
diff options
context:
space:
mode:
Diffstat (limited to 'UTF8.mli')
-rwxr-xr-xUTF8.mli20
1 files changed, 20 insertions, 0 deletions
diff --git a/UTF8.mli b/UTF8.mli
index f91b1fd..a2e331e 100755
--- a/UTF8.mli
+++ b/UTF8.mli
@@ -43,6 +43,26 @@ val rev_implode : t list -> t
val compare: t -> t -> int
+val replace: t -> t -> t -> t
+
+val upper: t -> t
+
+val lower: t -> t
+
+val code: t -> int
+
+val char: int -> t
+
+val repeat: int -> t -> t
+
+val get: t -> int -> t
+
+val lchop: t -> t
+
+val rchop: t -> t
+
+val sub: t -> int -> int -> t
+
module Buffer : sig
type buffer