sig
  type 'a t
  val from : (int -> 'a option) -> 'Fstream.t
  val of_list : 'a list -> 'Fstream.t
  val of_string : string -> char Fstream.t
  val of_channel : Pervasives.in_channel -> char Fstream.t
  val iter : ('-> unit) -> 'Fstream.t -> unit
  val next : 'Fstream.t -> ('a * 'Fstream.t) option
  val empty : 'Fstream.t -> (unit * 'Fstream.t) option
  val count : 'Fstream.t -> int
  val count_unfrozen : 'Fstream.t -> int
  type ('a, 'b) kont =
      K of (unit -> ('b * 'Fstream.t * ('a, 'b) Fstream.kont) option)
  type ('a, 'b) bp =
      'Fstream.t -> ('b * 'Fstream.t * ('a, 'b) Fstream.kont) option
  val bcontinue :
    ('a, 'b) Fstream.kont ->
    ('b * 'Fstream.t * ('a, 'b) Fstream.kont) option
  val bparse_all : ('a, 'b) Fstream.bp -> 'Fstream.t -> 'b list
  val nil : 'Fstream.t
  type 'a data
  val cons : '-> 'Fstream.t -> 'Fstream.data
  val app : 'Fstream.t -> 'Fstream.t -> 'Fstream.data
  val flazy : (unit -> 'Fstream.data) -> 'Fstream.t
  val b_seq :
    ('a, 'b) Fstream.bp -> ('-> ('a, 'c) Fstream.bp) -> ('a, 'c) Fstream.bp
  val b_or :
    ('a, 'b) Fstream.bp -> ('a, 'b) Fstream.bp -> ('a, 'b) Fstream.bp
  val b_term : ('-> 'b option) -> ('a, 'b) Fstream.bp
  val b_act : '-> ('b, 'a) Fstream.bp
end