sig
  type 'a t = 'Cf_seq.cell Lazy.t
  and 'a cell = P of 'a * 'Cf_seq.t | Z
  exception Empty
  val nil : 'Cf_seq.t
  val head : 'Cf_seq.t -> 'a
  val tail : 'Cf_seq.t -> 'Cf_seq.t
  val concat : 'Cf_seq.t -> 'Cf_seq.t -> 'Cf_seq.t
  val flatten : 'Cf_seq.t Cf_seq.t -> 'Cf_seq.t
  val limit : ?x:exn -> int -> 'Cf_seq.t -> 'Cf_seq.t
  val shift : int -> 'Cf_seq.t -> 'Cf_seq.t
  val sentinel : exn -> 'Cf_seq.t -> 'Cf_seq.t
  val reverse : 'Cf_seq.t -> 'a list
  val length : 'Cf_seq.t -> int
  val unfold : ('-> ('a * 'b) option) -> '-> 'Cf_seq.t
  val unfold2 : ('-> ('a * 'b) option) -> '-> ('a * 'b) Cf_seq.t
  val iterate : ('-> unit) -> 'Cf_seq.t -> unit
  val predicate : ('-> bool) -> 'Cf_seq.t -> bool
  val constrain : ('-> bool) -> 'Cf_seq.t -> 'Cf_seq.t
  val search : ('-> bool) -> 'Cf_seq.t -> int
  val fold : ('-> '-> 'b) -> '-> 'Cf_seq.t -> 'b
  val filter : ('-> bool) -> 'Cf_seq.t -> 'Cf_seq.t
  val map : ('-> 'b) -> 'Cf_seq.t -> 'Cf_seq.t
  val optmap : ('-> 'b option) -> 'Cf_seq.t -> 'Cf_seq.t
  val listmap : ('-> 'b list) -> 'Cf_seq.t -> 'Cf_seq.t
  val seqmap : ('-> 'Cf_seq.t) -> 'Cf_seq.t -> 'Cf_seq.t
  val partition : ('-> bool) -> 'Cf_seq.t -> 'Cf_seq.t * 'Cf_seq.t
  val fcmp : ('-> '-> int) -> 'Cf_seq.t -> 'Cf_seq.t -> int
  val cmp : 'Cf_seq.t -> 'Cf_seq.t -> int
  val equal : 'Cf_seq.t -> 'Cf_seq.t -> bool
  val first : ('a * 'b) Cf_seq.t -> 'Cf_seq.t
  val second : ('a * 'b) Cf_seq.t -> 'Cf_seq.t
  val split : ('a * 'b) Cf_seq.t -> 'Cf_seq.t * 'Cf_seq.t
  val combine : 'Cf_seq.t -> 'Cf_seq.t -> ('a * 'b) Cf_seq.t
  val iterate2 : ('-> '-> unit) -> 'Cf_seq.t -> 'Cf_seq.t -> unit
  val predicate2 : ('-> '-> bool) -> 'Cf_seq.t -> 'Cf_seq.t -> bool
  val constrain2 :
    ('-> '-> bool) -> 'Cf_seq.t -> 'Cf_seq.t -> ('a * 'b) Cf_seq.t
  val fold2 :
    ('-> '-> '-> 'c) -> '-> 'Cf_seq.t -> 'Cf_seq.t -> 'c
  val filter2 :
    ('-> '-> bool) -> 'Cf_seq.t -> 'Cf_seq.t -> ('a * 'b) Cf_seq.t
  val map2 : ('-> '-> 'c) -> 'Cf_seq.t -> 'Cf_seq.t -> 'Cf_seq.t
  val optmap2 :
    ('-> '-> 'c option) -> 'Cf_seq.t -> 'Cf_seq.t -> 'Cf_seq.t
  val listmap2 :
    ('-> '-> 'c list) -> 'Cf_seq.t -> 'Cf_seq.t -> 'Cf_seq.t
  val seqmap2 :
    ('-> '-> 'Cf_seq.t) -> 'Cf_seq.t -> 'Cf_seq.t -> 'Cf_seq.t
  val of_channel : Pervasives.in_channel -> char Cf_seq.t
  val of_string : string -> char Cf_seq.t
  val of_substring : string -> int -> char Cf_seq.t
  val of_array : 'a array -> 'Cf_seq.t
  val of_subarray : 'a array -> int -> 'Cf_seq.t
  val of_list : 'a list -> 'Cf_seq.t
  val of_function : (unit -> 'a) -> 'Cf_seq.t
  val to_channel : char Cf_seq.t -> Pervasives.out_channel -> unit
  val to_string : char Cf_seq.t -> string
  val to_substring : char Cf_seq.t -> string -> int -> int -> char Cf_seq.t
  val to_array : 'Cf_seq.t -> 'a array
  val to_subarray : 'Cf_seq.t -> 'a array -> int -> int -> 'Cf_seq.t
  val to_list : 'Cf_seq.t -> 'a list
  val to_buffer : char Cf_seq.t -> Buffer.t -> unit
  val to_function : 'Cf_seq.t -> unit -> 'a
  val writeC : '-> ('Cf_seq.t, unit) Cf_cmonad.t
  val evalC : ('Cf_seq.t, unit) Cf_cmonad.t -> 'Cf_seq.t
  val writeSC : '-> ('s, 'Cf_seq.t, unit) Cf_scmonad.t
  val evalSC : ('s, 'Cf_seq.t, unit) Cf_scmonad.t -> '-> 'Cf_seq.t
  module S :
    sig
      val sequence :
        ('x, unit) Cf_smonad.t Cf_seq.t -> ('x, unit) Cf_smonad.t
      val accumulate :
        ('x, 'a) Cf_smonad.t Cf_seq.t -> ('x, 'a list) Cf_smonad.t
    end
  module C :
    sig
      val sequence :
        ('x, unit) Cf_cmonad.t Cf_seq.t -> ('x, unit) Cf_cmonad.t
      val accumulate :
        ('x, 'a) Cf_cmonad.t Cf_seq.t -> ('x, 'a list) Cf_cmonad.t
    end
  module SC :
    sig
      val sequence :
        ('s, 'x, unit) Cf_scmonad.t Cf_seq.t -> ('s, 'x, unit) Cf_scmonad.t
      val accumulate :
        ('s, 'x, 'a) Cf_scmonad.t Cf_seq.t -> ('s, 'x, 'a list) Cf_scmonad.t
    end
end