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