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