aboutsummaryrefslogtreecommitdiff
path: root/src/unicode.mli
diff options
context:
space:
mode:
Diffstat (limited to 'src/unicode.mli')
-rwxr-xr-xsrc/unicode.mli27
1 files changed, 0 insertions, 27 deletions
diff --git a/src/unicode.mli b/src/unicode.mli
deleted file mode 100755
index 9a48807..0000000
--- a/src/unicode.mli
+++ /dev/null
@@ -1,27 +0,0 @@
-type t
-
-type decoder_encoding = [ `ISO_8859_1 | `US_ASCII | `UTF_16 | `UTF_16BE | `UTF_16LE | `UTF_8 ]
-
-val decode : ?encoding:[< decoder_encoding ] -> string -> t
-
-val to_utf8: t -> string
-
-(** String functions *)
-
-val length : t -> int
-
-val get : t -> int -> Uchar.t
-
-val make : int -> Uchar.t -> t
-
-val init : int -> (int -> Uchar.t) -> t
-
-val sub : t -> int -> int -> t
-
-val blit : t -> int -> t -> int -> int -> unit
-
-val concat : t list -> t
-
-val iter : (Uchar.t -> unit) -> t -> unit
-
-val to_list : t -> Uchar.t list