sig
  type 'a t
  val regex : Re.t -> string Tyre.t
  val conv : ('a -> 'b) -> ('b -> 'a) -> 'a Tyre.t -> 'b Tyre.t
  val opt : 'a Tyre.t -> 'a option Tyre.t
  val alt : 'a Tyre.t -> 'b Tyre.t -> [ `Left of 'a | `Right of 'b ] Tyre.t
  type 'a gen = unit -> 'a option
  val rep : 'a Tyre.t -> 'a Tyre.gen Tyre.t
  val rep1 : 'a Tyre.t -> ('a * 'a Tyre.gen) Tyre.t
  val seq : 'a Tyre.t -> 'b Tyre.t -> ('a * 'b) Tyre.t
  val prefix : 'b Tyre.t -> 'a Tyre.t -> 'a Tyre.t
  val suffix : 'a Tyre.t -> 'b Tyre.t -> 'a Tyre.t
  val ( <|> ) :
    'a Tyre.t -> 'b Tyre.t -> [ `Left of 'a | `Right of 'b ] Tyre.t
  val ( <&> ) : 'a Tyre.t -> 'b Tyre.t -> ('a * 'b) Tyre.t
  val ( *> ) : 'b Tyre.t -> 'a Tyre.t -> 'a Tyre.t
  val ( <* ) : 'a Tyre.t -> 'b Tyre.t -> 'a Tyre.t
  module Infix :
    sig
      val ( <|> ) :
        'a Tyre.t -> 'b Tyre.t -> [ `Left of 'a | `Right of 'b ] Tyre.t
      val ( <&> ) : 'a Tyre.t -> 'b Tyre.t -> ('a * 'b) Tyre.t
      val ( *> ) : 'b Tyre.t -> 'a Tyre.t -> 'a Tyre.t
      val ( <* ) : 'a Tyre.t -> 'b Tyre.t -> 'a Tyre.t
    end
  val str : string -> unit Tyre.t
  val char : char -> unit Tyre.t
  val blanks : unit Tyre.t
  val int : int Tyre.t
  val pos_int : int Tyre.t
  val float : float Tyre.t
  val bool : bool Tyre.t
  val list : 'a Tyre.t -> 'a list Tyre.t
  val terminated_list : sep:'b Tyre.t -> 'a Tyre.t -> 'a list Tyre.t
  val separated_list : sep:'b Tyre.t -> 'a Tyre.t -> 'a list Tyre.t
  val start : unit Tyre.t
  val stop : unit Tyre.t
  val word : 'a Tyre.t -> 'a Tyre.t
  val whole_string : 'a Tyre.t -> 'a Tyre.t
  val longest : 'a Tyre.t -> 'a Tyre.t
  val shortest : 'a Tyre.t -> 'a Tyre.t
  val first : 'a Tyre.t -> 'a Tyre.t
  val greedy : 'a Tyre.t -> 'a Tyre.t
  val non_greedy : 'a Tyre.t -> 'a Tyre.t
  val nest : 'a Tyre.t -> 'a Tyre.t
  type 'a re
  val compile : 'a Tyre.t -> 'a Tyre.re
  type 'a error =
      [ `ConverterFailure of exn | `NoMatch of 'a Tyre.re * string ]
  val pp_error : Format.formatter -> 'a Tyre.error -> unit
  val exec :
    ?pos:int ->
    ?len:int -> 'a Tyre.re -> string -> ('a, 'a Tyre.error) Result.result
  val execp : ?pos:int -> ?len:int -> 'a Tyre.re -> string -> bool
  val all :
    ?pos:int ->
    ?len:int ->
    'a Tyre.re -> string -> ('a list, 'a Tyre.error) Result.result
  val all_gen : ?pos:int -> ?len:int -> 'a Tyre.re -> string -> 'a Tyre.gen
  type +'a route = Route : 'x Tyre.t * ('x -> 'a) -> 'a Tyre.route
  val ( --> ) : 'x Tyre.t -> ('x -> 'a) -> 'a Tyre.route
  val route : 'a Tyre.route list -> 'a Tyre.re
  val eval : 'a Tyre.t -> 'a -> string
  val evalpp : 'a Tyre.t -> Format.formatter -> 'a -> unit
  val pp : Format.formatter -> 'a Tyre.t -> unit
  val pp_re : Format.formatter -> 'a Tyre.re -> unit
  module Internal :
    sig
      type ('a, 'b) conv = { to_ : 'a -> 'b; from_ : 'b -> 'a; }
      type 'a raw =
          Regexp : Re.t * Re.re Lazy.t -> string Tyre.Internal.raw
        | Conv : 'a Tyre.Internal.raw *
            ('a, 'b) Tyre.Internal.conv -> 'b Tyre.Internal.raw
        | Opt : 'a Tyre.Internal.raw -> 'a option Tyre.Internal.raw
        | Alt : 'a Tyre.Internal.raw *
            'b Tyre.Internal.raw -> [ `Left of 'a | `Right of 'b ]
                                    Tyre.Internal.raw
        | Seq : 'a Tyre.Internal.raw *
            'b Tyre.Internal.raw -> ('a * 'b) Tyre.Internal.raw
        | Prefix : 'b Tyre.Internal.raw *
            'a Tyre.Internal.raw -> 'a Tyre.Internal.raw
        | Suffix : 'a Tyre.Internal.raw *
            'b Tyre.Internal.raw -> 'a Tyre.Internal.raw
        | Rep : 'a Tyre.Internal.raw -> 'a Tyre.gen Tyre.Internal.raw
        | Mod : (Re.t -> Re.t) * 'a Tyre.Internal.raw -> 'a Tyre.Internal.raw
      val from_t : 'a Tyre.t -> 'a Tyre.Internal.raw
      val to_t : 'a Tyre.Internal.raw -> 'a Tyre.t
      type _ wit =
          Lit : int -> string Tyre.Internal.wit
        | Conv : 'a Tyre.Internal.wit *
            ('a, 'b) Tyre.Internal.conv -> 'b Tyre.Internal.wit
        | Opt : Re.markid *
            'a Tyre.Internal.wit -> 'a option Tyre.Internal.wit
        | Alt : Re.markid * 'a Tyre.Internal.wit *
            'b Tyre.Internal.wit -> [ `Left of 'a | `Right of 'b ]
                                    Tyre.Internal.wit
        | Seq : 'a Tyre.Internal.wit *
            'b Tyre.Internal.wit -> ('a * 'b) Tyre.Internal.wit
        | Rep : int * 'a Tyre.Internal.wit *
            Re.re -> 'a Tyre.gen Tyre.Internal.wit
      val build :
        int -> 'a Tyre.Internal.raw -> int * 'a Tyre.Internal.wit * Re.t
      val extract :
        original:string -> 'a Tyre.Internal.wit -> Re.substrings -> 'a
    end
end