sig
  val init : int -> (int -> char) -> string
  val empty : string
  val is_empty : string -> bool
  val of_bytes : Stdlib.Bytes.t -> string
  val to_bytes : string -> Stdlib.Bytes.t
  val cat : string -> string -> string
  val for_all : (char -> bool) -> string -> bool
  external length : string -> int = "%string_length"
  external get : string -> int -> char = "%string_safe_get"
  external set : Stdlib.Bytes.t -> int -> char -> unit = "%string_safe_set"
  external create : int -> Stdlib.Bytes.t = "caml_create_string"
  val make : int -> char -> string
  val copy : string -> string
  val sub : string -> int -> int -> string
  val fill : Stdlib.Bytes.t -> int -> int -> char -> unit
  val blit : string -> int -> Stdlib.Bytes.t -> int -> int -> unit
  val concat : string -> string list -> string
  val iter : (char -> unit) -> string -> unit
  val mapi : (int -> char -> char) -> string -> string
  val trim : string -> string
  val escaped : string -> string
  val index : string -> char -> int
  val index_opt : string -> char -> int option
  val rindex : string -> char -> int
  val rindex_opt : string -> char -> int option
  val index_from : string -> int -> char -> int
  val index_from_opt : string -> int -> char -> int option
  val rindex_from : string -> int -> char -> int
  val rindex_from_opt : string -> int -> char -> int option
  val index_after_n : char -> int -> string -> int
  val contains : string -> char -> bool
  val contains_from : string -> int -> char -> bool
  val rcontains_from : string -> int -> char -> bool
  val uppercase : string -> string
  val lowercase : string -> string
  val capitalize : string -> string
  val uncapitalize : string -> string
  val uppercase_ascii : string -> string
  val lowercase_ascii : string -> string
  val capitalize_ascii : string -> string
  val uncapitalize_ascii : string -> string
  type t = string
  val enum : string -> char BatEnum.t
  val of_enum : char BatEnum.t -> string
  val backwards : string -> char BatEnum.t
  val of_backwards : char BatEnum.t -> string
  val of_list : char list -> string
  val to_list : string -> char list
  val of_int : int -> string
  val of_float : float -> string
  val of_char : char -> string
  val to_int : string -> int
  val to_float : string -> float
  val map : (char -> char) -> string -> string
  val fold_left : ('a -> char -> 'a) -> 'a -> string -> 'a
  val fold_lefti : ('a -> int -> char -> 'a) -> 'a -> string -> 'a
  val fold_right : (char -> 'a -> 'a) -> string -> 'a -> 'a
  val fold_righti : (int -> char -> 'a -> 'a) -> string -> 'a -> 'a
  val filter : (char -> bool) -> string -> string
  val filter_map : (char -> char option) -> string -> string
  val iteri : (int -> char -> unit) -> string -> unit
  val find : string -> string -> int
  val find_from : string -> int -> string -> int
  val rfind : string -> string -> int
  val rfind_from : string -> int -> string -> int
  val find_all : string -> string -> int BatEnum.t
  val count_string : string -> string -> int
  val ends_with : string -> string -> bool
  val starts_with : string -> string -> bool
  val starts_with_stdlib : prefix:string -> string -> bool
  val ends_with_stdlib : suffix:string -> string -> bool
  val exists : string -> string -> bool
  val exists_stdlib : (char -> bool) -> string -> bool
  val count_char : string -> char -> int
  val lchop : ?n:int -> string -> string
  val rchop : ?n:int -> string -> string
  val chop : ?l:int -> ?r:int -> string -> string
  val quote : string -> string
  val left : string -> int -> string
  val right : string -> int -> string
  val head : string -> int -> string
  val tail : string -> int -> string
  val strip : ?chars:string -> string -> string
  val replace_chars : (char -> string) -> string -> string
  val replace : str:string -> sub:string -> by:string -> bool * string
  val nreplace : str:string -> sub:string -> by:string -> string
  val repeat : string -> int -> string
  val rev : string -> string
  val rev_in_place : Stdlib.Bytes.t -> unit
  val in_place_mirror : Stdlib.Bytes.t -> unit
  val split_on_char : char -> string -> string list
  val split : string -> by:string -> string * string
  val rsplit : string -> by:string -> string * string
  val nsplit : string -> by:string -> string list
  val split_on_string : by:string -> string -> string list
  val cut_on_char : char -> int -> string -> string
  val join : string -> string list -> string
  val slice : ?first:int -> ?last:int -> string -> string
  val splice : string -> int -> int -> string -> string
  val explode : string -> char list
  val implode : char list -> string
  val to_seq : BatString.t -> char Stdlib.Seq.t
  val to_seqi : BatString.t -> (int * char) Stdlib.Seq.t
  val of_seq : char Stdlib.Seq.t -> BatString.t
  val get_uint8 : string -> int -> int
  val get_int8 : string -> int -> int
  val get_uint16_ne : string -> int -> int
  val get_uint16_be : string -> int -> int
  val get_uint16_le : string -> int -> int
  val get_int16_ne : string -> int -> int
  val get_int16_be : string -> int -> int
  val get_int16_le : string -> int -> int
  val get_int32_ne : string -> int -> int32
  val get_int32_be : string -> int -> int32
  val get_int32_le : string -> int -> int32
  val get_int64_ne : string -> int -> int64
  val get_int64_be : string -> int -> int64
  val get_int64_le : string -> int -> int64
  val equal : BatString.t -> BatString.t -> bool
  val ord : BatString.t -> BatString.t -> BatOrd.order
  val compare : BatString.t -> BatString.t -> int
  val icompare : BatString.t -> BatString.t -> int
  module IString : sig type t = t val compare : t -> t -> int end
  val numeric_compare : BatString.t -> BatString.t -> int
  module NumString : sig type t = t val compare : t -> t -> int end
  val edit_distance : BatString.t -> BatString.t -> int
  val print : 'a BatInnerIO.output -> string -> unit
  val println : 'a BatInnerIO.output -> string -> unit
  val print_quoted : 'a BatInnerIO.output -> string -> unit
  module Exceptionless :
    sig
      val to_int : string -> int option
      val to_float : string -> float option
      val index : string -> char -> int option
      val rindex : string -> char -> int option
      val index_from : string -> int -> char -> int option
      val rindex_from : string -> int -> char -> int option
      val find : string -> string -> int option
      val find_from : string -> int -> string -> int option
      val rfind : string -> string -> int option
      val rfind_from : string -> int -> string -> int option
      val split : string -> by:string -> (string * string) option
      val rsplit : string -> by:string -> (string * string) option
    end
  module Cap :
    sig
      type 'a t
      external length : 'a BatString.Cap.t -> int = "%string_length"
      val is_empty : 'a BatString.Cap.t -> bool
      external get : [> `Read ] BatString.Cap.t -> int -> char
        = "%string_safe_get"
      external set : [> `Write ] BatString.Cap.t -> int -> char -> unit
        = "%string_safe_set"
      external create : int -> 'a BatString.Cap.t = "caml_create_string"
      external of_string : Stdlib.Bytes.t -> 'a BatString.Cap.t = "%identity"
      val of_bytes : Stdlib.Bytes.t -> 'a BatString.Cap.t
      external to_string :
        [ `Read | `Write ] BatString.Cap.t -> Stdlib.Bytes.t = "%identity"
      external to_bytes :
        [ `Read | `Write ] BatString.Cap.t -> Stdlib.Bytes.t = "%identity"
      external read_only :
        [> `Read ] BatString.Cap.t -> [ `Read ] BatString.Cap.t = "%identity"
      external write_only :
        [> `Write ] BatString.Cap.t -> [ `Write ] BatString.Cap.t
        = "%identity"
      val make : int -> char -> 'a BatString.Cap.t
      val init : int -> (int -> char) -> 'a BatString.Cap.t
      val enum : [> `Read ] BatString.Cap.t -> char BatEnum.t
      val of_enum : char BatEnum.t -> 'a BatString.Cap.t
      val backwards : [> `Read ] BatString.Cap.t -> char BatEnum.t
      val of_backwards : char BatEnum.t -> 'a BatString.Cap.t
      val of_list : char list -> 'a BatString.Cap.t
      val to_list : [> `Read ] BatString.Cap.t -> char list
      val of_int : int -> 'a BatString.Cap.t
      val of_float : float -> 'a BatString.Cap.t
      val of_char : char -> 'a BatString.Cap.t
      val to_int : [> `Read ] BatString.Cap.t -> int
      val to_float : [> `Read ] BatString.Cap.t -> float
      val map :
        (char -> char) -> [> `Read ] BatString.Cap.t -> 'a BatString.Cap.t
      val mapi :
        (int -> char -> char) ->
        [> `Read ] BatString.Cap.t -> 'a BatString.Cap.t
      val fold_left :
        ('a -> char -> 'a) -> 'a -> [> `Read ] BatString.Cap.t -> 'a
      val fold_lefti :
        ('a -> int -> char -> 'a) -> 'a -> [> `Read ] BatString.Cap.t -> 'a
      val fold_right :
        (char -> 'a -> 'a) -> [> `Read ] BatString.Cap.t -> 'a -> 'a
      val fold_righti :
        (int -> char -> 'a -> 'a) -> [> `Read ] BatString.Cap.t -> 'a -> 'a
      val filter :
        (char -> bool) -> [> `Read ] BatString.Cap.t -> 'a BatString.Cap.t
      val filter_map :
        (char -> char option) ->
        [> `Read ] BatString.Cap.t -> 'a BatString.Cap.t
      val iter : (char -> unit) -> [> `Read ] BatString.Cap.t -> unit
      val index : [> `Read ] BatString.Cap.t -> char -> int
      val rindex : [> `Read ] BatString.Cap.t -> char -> int
      val index_from : [> `Read ] BatString.Cap.t -> int -> char -> int
      val rindex_from : [> `Read ] BatString.Cap.t -> int -> char -> int
      val contains : [> `Read ] BatString.Cap.t -> char -> bool
      val contains_from : [> `Read ] BatString.Cap.t -> int -> char -> bool
      val rcontains_from : [> `Read ] BatString.Cap.t -> int -> char -> bool
      val find :
        [> `Read ] BatString.Cap.t -> [> `Read ] BatString.Cap.t -> int
      val find_from :
        [> `Read ] BatString.Cap.t ->
        int -> [> `Read ] BatString.Cap.t -> int
      val rfind :
        [> `Read ] BatString.Cap.t -> [> `Read ] BatString.Cap.t -> int
      val rfind_from :
        [> `Read ] BatString.Cap.t ->
        int -> [> `Read ] BatString.Cap.t -> int
      val ends_with :
        [> `Read ] BatString.Cap.t -> [> `Read ] BatString.Cap.t -> bool
      val starts_with :
        [> `Read ] BatString.Cap.t -> [> `Read ] BatString.Cap.t -> bool
      val exists :
        [> `Read ] BatString.Cap.t -> [> `Read ] BatString.Cap.t -> bool
      val count_char : [> `Read ] BatString.Cap.t -> char -> int
      val lchop : ?n:int -> [> `Read ] BatString.Cap.t -> 'a BatString.Cap.t
      val rchop : ?n:int -> [> `Read ] BatString.Cap.t -> 'a BatString.Cap.t
      val chop :
        ?l:int -> ?r:int -> [> `Read ] BatString.Cap.t -> 'a BatString.Cap.t
      val trim : [> `Read ] BatString.Cap.t -> 'a BatString.Cap.t
      val quote : [> `Read ] BatString.Cap.t -> string
      val left : [> `Read ] BatString.Cap.t -> int -> 'a BatString.Cap.t
      val right : [> `Read ] BatString.Cap.t -> int -> 'a BatString.Cap.t
      val head : [> `Read ] BatString.Cap.t -> int -> 'a BatString.Cap.t
      val tail : [> `Read ] BatString.Cap.t -> int -> 'a BatString.Cap.t
      val strip :
        ?chars:[> `Read ] BatString.Cap.t ->
        [> `Read ] BatString.Cap.t -> 'a BatString.Cap.t
      val uppercase : [> `Read ] BatString.Cap.t -> 'a BatString.Cap.t
      val lowercase : [> `Read ] BatString.Cap.t -> 'a BatString.Cap.t
      val capitalize : [> `Read ] BatString.Cap.t -> 'a BatString.Cap.t
      val uncapitalize : [> `Read ] BatString.Cap.t -> 'a BatString.Cap.t
      val copy : [> `Read ] BatString.Cap.t -> 'a BatString.Cap.t
      val sub :
        [> `Read ] BatString.Cap.t -> int -> int -> 'a BatString.Cap.t
      val fill : [> `Write ] BatString.Cap.t -> int -> int -> char -> unit
      val blit :
        [> `Read ] BatString.Cap.t ->
        int -> [> `Write ] BatString.Cap.t -> int -> int -> unit
      val concat :
        [> `Read ] BatString.Cap.t ->
        [> `Read ] BatString.Cap.t list -> 'a BatString.Cap.t
      val escaped : [> `Read ] BatString.Cap.t -> 'a BatString.Cap.t
      val replace_chars :
        (char -> [> `Read ] BatString.Cap.t) ->
        [> `Read ] BatString.Cap.t -> 'a BatString.Cap.t
      val replace :
        str:[> `Read ] BatString.Cap.t ->
        sub:[> `Read ] BatString.Cap.t ->
        by:[> `Read ] BatString.Cap.t -> bool * 'a BatString.Cap.t
      val nreplace :
        str:[> `Read ] BatString.Cap.t ->
        sub:[> `Read ] BatString.Cap.t ->
        by:[> `Read ] BatString.Cap.t -> 'a BatString.Cap.t
      val repeat : [> `Read ] BatString.Cap.t -> int -> 'a BatString.Cap.t
      val split :
        [> `Read ] BatString.Cap.t ->
        by:[> `Read ] BatString.Cap.t ->
        'a BatString.Cap.t * 'b BatString.Cap.t
      val rsplit :
        [> `Read ] BatString.Cap.t ->
        by:[> `Read ] BatString.Cap.t ->
        'a BatString.Cap.t * 'b BatString.Cap.t
      val nsplit :
        [> `Read ] BatString.Cap.t ->
        by:[> `Read ] BatString.Cap.t -> 'a BatString.Cap.t list
      val splice :
        [ `Read | `Write ] BatString.Cap.t ->
        int -> int -> [> `Read ] BatString.Cap.t -> 'a BatString.Cap.t
      val join :
        [> `Read ] BatString.Cap.t ->
        [> `Read ] BatString.Cap.t list -> 'a BatString.Cap.t
      val slice :
        ?first:int ->
        ?last:int -> [> `Read ] BatString.Cap.t -> 'a BatString.Cap.t
      val explode : [> `Read ] BatString.Cap.t -> char list
      val implode : char list -> 'a BatString.Cap.t
      val compare :
        [> `Read ] BatString.Cap.t -> [> `Read ] BatString.Cap.t -> int
      val icompare :
        [> `Read ] BatString.Cap.t -> [> `Read ] BatString.Cap.t -> int
      val print : 'a BatInnerIO.output -> [> `Read ] BatString.Cap.t -> unit
      val println :
        'a BatInnerIO.output -> [> `Read ] BatString.Cap.t -> unit
      val print_quoted :
        'a BatInnerIO.output -> [> `Read ] BatString.Cap.t -> unit
      external unsafe_get : [> `Read ] BatString.Cap.t -> int -> char
        = "%string_unsafe_get"
      external unsafe_set :
        [> `Write ] BatString.Cap.t -> int -> char -> unit
        = "%string_unsafe_set"
      external unsafe_blit :
        [> `Read ] BatString.Cap.t ->
        int -> [> `Write ] BatString.Cap.t -> int -> int -> unit
        = "caml_blit_string" [@@noalloc]
      external unsafe_fill :
        [> `Write ] BatString.Cap.t -> int -> int -> char -> unit
        = "caml_fill_string" [@@noalloc]
      module Exceptionless :
        sig
          val to_int : [> `Read ] BatString.Cap.t -> int option
          val to_float : [> `Read ] BatString.Cap.t -> float option
          val index : [> `Read ] BatString.Cap.t -> char -> int option
          val rindex : [> `Read ] BatString.Cap.t -> char -> int option
          val index_from :
            [> `Read ] BatString.Cap.t -> int -> char -> int option
          val rindex_from :
            [> `Read ] BatString.Cap.t -> int -> char -> int option
          val find :
            [> `Read ] BatString.Cap.t ->
            [> `Read ] BatString.Cap.t -> int option
          val find_from :
            [> `Read ] BatString.Cap.t ->
            int -> [> `Read ] BatString.Cap.t -> int option
          val rfind :
            [> `Read ] BatString.Cap.t ->
            [> `Read ] BatString.Cap.t -> int option
          val rfind_from :
            [> `Read ] BatString.Cap.t ->
            int -> [> `Read ] BatString.Cap.t -> int option
          val split :
            [> `Read ] BatString.Cap.t ->
            by:[> `Read ] BatString.Cap.t ->
            ('a BatString.Cap.t * 'b BatString.Cap.t) option
          val rsplit :
            [> `Read ] BatString.Cap.t ->
            by:[> `Read ] BatString.Cap.t ->
            ('a BatString.Cap.t * 'b BatString.Cap.t) option
        end
    end
  external unsafe_get : string -> int -> char = "%string_unsafe_get"
  external unsafe_set : Stdlib.Bytes.t -> int -> char -> unit
    = "%string_unsafe_set"
  external unsafe_blit :
    string -> int -> Stdlib.Bytes.t -> int -> int -> unit
    = "caml_blit_string" [@@noalloc]
  external unsafe_fill : Stdlib.Bytes.t -> int -> int -> char -> unit
    = "caml_fill_string" [@@noalloc]
end