From ecb6fd62c275af03a07d892313ab3914d81cd40e Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Thu, 23 Nov 2017 10:06:22 +0100
Subject: Added text functions

---
 UTF8.mli | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

(limited to 'UTF8.mli')

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
-- 
cgit v1.2.3