sig
type t
val get : Main.Type.SubText.Type.t -> int -> Main.Type.UChar.t
val init : int -> (int -> Main.Type.UChar.t) -> Main.Type.SubText.Type.t
val length : Main.Type.SubText.Type.t -> int
type index
val look :
Main.Type.SubText.Type.t ->
Main.Type.SubText.Type.index -> Main.Type.UChar.t
val nth : Main.Type.SubText.Type.t -> int -> Main.Type.SubText.Type.index
val first : Main.Type.SubText.Type.t -> Main.Type.SubText.Type.index
val last : Main.Type.SubText.Type.t -> Main.Type.SubText.Type.index
val next :
Main.Type.SubText.Type.t ->
Main.Type.SubText.Type.index -> Main.Type.SubText.Type.index
val prev :
Main.Type.SubText.Type.t ->
Main.Type.SubText.Type.index -> Main.Type.SubText.Type.index
val move :
Main.Type.SubText.Type.t ->
Main.Type.SubText.Type.index -> int -> Main.Type.SubText.Type.index
val out_of_range :
Main.Type.SubText.Type.t -> Main.Type.SubText.Type.index -> bool
val compare_index :
Main.Type.SubText.Type.t ->
Main.Type.SubText.Type.index -> Main.Type.SubText.Type.index -> int
val iter : (Main.Type.UChar.t -> unit) -> Main.Type.SubText.Type.t -> unit
val compare : Main.Type.SubText.Type.t -> Main.Type.SubText.Type.t -> int
module Buf :
sig
type buf
val create : int -> Main.Type.SubText.Type.Buf.buf
val contents :
Main.Type.SubText.Type.Buf.buf -> Main.Type.SubText.Type.t
val clear : Main.Type.SubText.Type.Buf.buf -> unit
val reset : Main.Type.SubText.Type.Buf.buf -> unit
val add_char :
Main.Type.SubText.Type.Buf.buf -> Main.Type.UChar.t -> unit
val add_string :
Main.Type.SubText.Type.Buf.buf -> Main.Type.SubText.Type.t -> unit
val add_buffer :
Main.Type.SubText.Type.Buf.buf ->
Main.Type.SubText.Type.Buf.buf -> unit
end
type ur_text
type ur_index
val refer :
Main.Type.SubText.Type.ur_text ->
Main.Type.SubText.Type.ur_index ->
Main.Type.SubText.Type.ur_index -> Main.Type.SubText.Type.t
val excerpt : Main.Type.SubText.Type.t -> Main.Type.SubText.Type.ur_text
val context :
Main.Type.SubText.Type.t ->
Main.Type.SubText.Type.ur_text * Main.Type.SubText.Type.ur_index *
Main.Type.SubText.Type.ur_index
val ur_index_of :
Main.Type.SubText.Type.t ->
Main.Type.SubText.Type.index -> Main.Type.SubText.Type.ur_index
end