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