sig
  module type Interface =
    sig
      type regexp = CamomileLibrary.URe.regexp
      val regexp : string -> CamomileLibrary.UReStr.Interface.regexp
      val quote : string -> string
      val regexp_string : string -> CamomileLibrary.UReStr.Interface.regexp
      module type Type =
        sig
          type text
          type index
          type compiled_regexp
          module SubText :
            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
              type ur_index = 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
          val compile :
            CamomileLibrary.UReStr.Interface.regexp ->
            CamomileLibrary.UReStr.Interface.Type.compiled_regexp
          val regexp_match :
            ?sem:CamomileLibrary.URe.match_semantics ->
            CamomileLibrary.UReStr.Interface.Type.compiled_regexp ->
            CamomileLibrary.UReStr.Interface.Type.text ->
            CamomileLibrary.UReStr.Interface.Type.index ->
            CamomileLibrary.UReStr.Interface.Type.SubText.t option array
            option
          val string_match :
            CamomileLibrary.UReStr.Interface.Type.compiled_regexp ->
            CamomileLibrary.UReStr.Interface.Type.text ->
            CamomileLibrary.UReStr.Interface.Type.index -> bool
          val search_forward :
            ?sem:CamomileLibrary.URe.match_semantics ->
            CamomileLibrary.UReStr.Interface.Type.compiled_regexp ->
            CamomileLibrary.UReStr.Interface.Type.text ->
            CamomileLibrary.UReStr.Interface.Type.index ->
            CamomileLibrary.UReStr.Interface.Type.SubText.t option array
            option
        end
      module Make :
        functor (Text : UnicodeString.Type) ->
          sig
            type text = Text.t
            type index = Text.index
            type compiled_regexp
            module SubText :
              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
                type ur_index = 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
            val compile : regexp -> compiled_regexp
            val regexp_match :
              ?sem:URe.match_semantics ->
              compiled_regexp ->
              text -> index -> SubText.t option array option
            val string_match : compiled_regexp -> text -> index -> bool
            val search_forward :
              ?sem:URe.match_semantics ->
              compiled_regexp ->
              text -> index -> SubText.t option array option
          end
    end
  module Configure : functor (Config : ConfigInt.Type) -> Interface
end