diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-23 10:06:22 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-24 09:23:35 +0100 |
commit | ecb6fd62c275af03a07d892313ab3914d81cd40e (patch) | |
tree | 52994be2201583b0b7f297347dd4fe98decc0c44 /UTF8.mli | |
parent | df4778f2f061c71cf1d9e51fe8ec657d04bbdfeb (diff) |
Added text functions
Diffstat (limited to 'UTF8.mli')
-rwxr-xr-x | UTF8.mli | 20 |
1 files changed, 20 insertions, 0 deletions
@@ -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
|