sig
  type 'a t = 'Stdlib.Stream.t
  type 'a enumerable = 'a t
  type 'a mappable = 'a t
  exception Failure
  exception Error of string
  val from : (int -> 'a option) -> 'BatStream.t
  val of_list : 'a list -> 'BatStream.t
  val of_string : string -> char BatStream.t
  val of_bytes : Stdlib.Bytes.t -> char BatStream.t
  val of_channel : Stdlib.in_channel -> char BatStream.t
  val of_fun : (unit -> 'a) -> 'BatStream.t
  val iter : ('-> unit) -> 'BatStream.t -> unit
  val foldl : ('-> '-> 'a * bool option) -> '-> 'BatStream.t -> 'a
  val foldr : ('-> 'b lazy_t -> 'b) -> '-> 'BatStream.t -> 'b
  val fold : ('-> '-> 'a * bool option) -> 'BatStream.t -> 'a
  val filter : ('-> bool) -> 'BatStream.t -> 'BatStream.t
  val empty : 'BatStream.t -> unit
  val peek : 'BatStream.t -> 'a option
  val junk : 'BatStream.t -> unit
  val count : 'BatStream.t -> int
  val npeek : int -> 'BatStream.t -> 'a list
  val enum : 'BatStream.t -> 'BatEnum.t
  val of_enum : 'BatEnum.t -> 'BatStream.t
  val of_input : BatIO.input -> char BatStream.t
  val to_list : 'BatStream.t -> 'a list
  val to_string : char BatStream.t -> string
  val to_string_fmt :
    ('-> string, unit, string) Stdlib.format -> 'BatStream.t -> string
  val to_string_fun : ('-> string) -> 'BatStream.t -> string
  val on_output : 'BatIO.output -> char BatStream.t -> unit
  val map : ('-> 'b) -> 'BatStream.t -> 'BatStream.t
  val map2 :
    ('-> '-> 'c) -> 'BatStream.t -> 'BatStream.t -> 'BatStream.t
  val scanl : ('-> '-> 'a) -> '-> 'BatStream.t -> 'BatStream.t
  val scan : ('-> '-> 'a) -> 'BatStream.t -> 'BatStream.t
  val concat : 'BatStream.t BatStream.t -> 'BatStream.t
  val concat_map : ('-> 'BatStream.t) -> 'BatStream.t -> 'BatStream.t
  val take : int -> 'BatStream.t -> 'BatStream.t
  val drop : int -> 'BatStream.t -> 'BatStream.t
  val take_while : ('-> bool) -> 'BatStream.t -> 'BatStream.t
  val drop_while : ('-> bool) -> 'BatStream.t -> 'BatStream.t
  val dup : 'BatStream.t -> 'BatStream.t * 'BatStream.t
  val comb : 'BatStream.t * 'BatStream.t -> ('a * 'b) BatStream.t
  val split : ('a * 'b) BatStream.t -> 'BatStream.t * 'BatStream.t
  val merge :
    (bool -> '-> bool) -> 'BatStream.t * 'BatStream.t -> 'BatStream.t
  val switch :
    ('-> bool) -> 'BatStream.t -> 'BatStream.t * 'BatStream.t
  val cons : '-> 'BatStream.t -> 'BatStream.t
  val apnd : 'BatStream.t -> 'BatStream.t -> 'BatStream.t
  val is_empty : 'BatStream.t -> bool
  val next : 'BatStream.t -> 'a
  module StreamLabels :
    sig
      val iter : f:('-> unit) -> 'BatStream.t -> unit
      val to_string_fmt :
        fmt:('-> string, unit, string) Stdlib.format ->
        'BatStream.t -> string
      val to_string_fun : fn:('-> string) -> 'BatStream.t -> string
      val foldl :
        f:('-> '-> 'a * bool option) -> init:'-> 'BatStream.t -> 'a
      val foldr :
        f:('-> 'b lazy_t -> 'b) -> init:'-> 'BatStream.t -> 'b
      val fold :
        f:('-> '-> 'a * bool option) -> init:'BatStream.t -> 'a
      val filter : f:('-> bool) -> 'BatStream.t -> 'BatStream.t
      val map : f:('-> 'b) -> 'BatStream.t -> 'BatStream.t
      val map2 :
        f:('-> '-> 'c) ->
        'BatStream.t -> 'BatStream.t -> 'BatStream.t
      val scanl :
        f:('-> '-> 'a) -> '-> 'BatStream.t -> 'BatStream.t
      val scan : f:('-> '-> 'a) -> 'BatStream.t -> 'BatStream.t
      val take_while : f:('-> bool) -> 'BatStream.t -> 'BatStream.t
      val drop_while : f:('-> bool) -> 'BatStream.t -> 'BatStream.t
      val merge :
        f:(bool -> '-> bool) ->
        'BatStream.t * 'BatStream.t -> 'BatStream.t
      val switch :
        f:('-> bool) -> 'BatStream.t -> 'BatStream.t * 'BatStream.t
    end
  val iapp : 'BatStream.t -> 'BatStream.t -> 'BatStream.t
  val icons : '-> 'BatStream.t -> 'BatStream.t
  val ising : '-> 'BatStream.t
  val lapp : (unit -> 'BatStream.t) -> 'BatStream.t -> 'BatStream.t
  val lcons : (unit -> 'a) -> 'BatStream.t -> 'BatStream.t
  val lsing : (unit -> 'a) -> 'BatStream.t
  val sempty : 'BatStream.t
  val slazy : (unit -> 'BatStream.t) -> 'BatStream.t
  val dump : ('-> unit) -> 'BatStream.t -> unit
end