| 1 |
type uchar = int
|
| 2 |
|
| 3 |
module Utf8 :
|
| 4 |
sig
|
| 5 |
type t
|
| 6 |
type uindex
|
| 7 |
|
| 8 |
val hash: t -> int
|
| 9 |
val equal: t -> t -> bool
|
| 10 |
|
| 11 |
val check: string -> bool
|
| 12 |
|
| 13 |
val to_string: t -> string
|
| 14 |
val print: Format.formatter -> t -> unit
|
| 15 |
|
| 16 |
val end_index: t -> uindex
|
| 17 |
val start_index: t -> uindex
|
| 18 |
val equal_index: uindex -> uindex -> bool
|
| 19 |
val mk: string -> t
|
| 20 |
val mk_latin1: string -> t
|
| 21 |
val get_str: t -> string
|
| 22 |
val get_idx: uindex -> int
|
| 23 |
|
| 24 |
val get: t -> uindex -> uchar
|
| 25 |
val advance: t -> uindex -> uindex
|
| 26 |
val next: t -> uindex -> uchar * uindex
|
| 27 |
|
| 28 |
val store: Buffer.t -> uchar -> unit
|
| 29 |
val copy: Buffer.t -> t -> uindex -> uindex -> unit
|
| 30 |
val get_substr: t -> uindex -> uindex -> string
|
| 31 |
end
|