sig
  type 'a t
  val map :
    ('a -> 'b CCMonadIO.io) -> 'a CCMonadIO.Seq.t -> 'b CCMonadIO.Seq.t
  val map_pure : ('a -> 'b) -> 'a CCMonadIO.Seq.t -> 'b CCMonadIO.Seq.t
  val filter_map :
    ('a -> 'b option) -> 'a CCMonadIO.Seq.t -> 'b CCMonadIO.Seq.t
  val filter : ('a -> bool) -> 'a CCMonadIO.Seq.t -> 'a CCMonadIO.Seq.t
  val flat_map :
    ('a -> 'b CCMonadIO.Seq.t CCMonadIO.io) ->
    'a CCMonadIO.Seq.t -> 'b CCMonadIO.Seq.t
  val take : int -> 'a CCMonadIO.Seq.t -> 'a CCMonadIO.Seq.t
  val drop : int -> 'a CCMonadIO.Seq.t -> 'a CCMonadIO.Seq.t
  val take_while :
    ('a -> bool CCMonadIO.io) -> 'a CCMonadIO.Seq.t -> 'a CCMonadIO.Seq.t
  val drop_while :
    ('a -> bool CCMonadIO.io) -> 'a CCMonadIO.Seq.t -> 'a CCMonadIO.Seq.t
  val general_iter :
    ('b -> 'a -> [ `Continue of 'b * 'c option | `Stop ] CCMonadIO.io) ->
    'b -> 'a CCMonadIO.Seq.t -> 'c CCMonadIO.Seq.t
  val tee :
    ('a -> unit CCMonadIO.io) list ->
    'a CCMonadIO.Seq.t -> 'a CCMonadIO.Seq.t
  val iter :
    ('a -> 'b CCMonadIO.io) -> 'a CCMonadIO.Seq.t -> unit CCMonadIO.io
  val length : 'a CCMonadIO.Seq.t -> int CCMonadIO.io
  val fold :
    ('b -> 'a -> 'b CCMonadIO.io) ->
    'b -> 'a CCMonadIO.Seq.t -> 'b CCMonadIO.io
  val fold_pure :
    ('b -> 'a -> 'b) -> 'b -> 'a CCMonadIO.Seq.t -> 'b CCMonadIO.io
  type 'a step_result = Yield of 'a | Stop
  type 'a gen = unit -> 'a CCMonadIO.Seq.step_result CCMonadIO.io
  val of_fun : 'a CCMonadIO.Seq.gen -> 'a CCMonadIO.Seq.t
  val empty : 'a CCMonadIO.Seq.t
  val singleton : 'a -> 'a CCMonadIO.Seq.t
  val cons : 'a -> 'a CCMonadIO.Seq.t -> 'a CCMonadIO.Seq.t
  val of_list : 'a list -> 'a CCMonadIO.Seq.t
  val of_array : 'a array -> 'a CCMonadIO.Seq.t
  val chunks : size:int -> Pervasives.in_channel -> string CCMonadIO.Seq.t
  val lines : Pervasives.in_channel -> string CCMonadIO.Seq.t
  val words : string CCMonadIO.Seq.t -> string CCMonadIO.Seq.t
  val output :
    ?sep:string ->
    Pervasives.out_channel -> string CCMonadIO.Seq.t -> unit CCMonadIO.io
end