sig
  type 'a sequence = ('a -> unit) -> unit
  type 'a printer = Format.formatter -> 'a -> unit
  type 'a klist = unit -> [ `Cons of 'a * 'a CCSimple_queue.klist | `Nil ]
  type 'a gen = unit -> 'a option
  type +'a t
  val empty : 'a CCSimple_queue.t
  val is_empty : 'a CCSimple_queue.t -> bool
  val push : 'a -> 'a CCSimple_queue.t -> 'a CCSimple_queue.t
  val snoc : 'a CCSimple_queue.t -> 'a -> 'a CCSimple_queue.t
  val peek : 'a CCSimple_queue.t -> 'a option
  val peek_exn : 'a CCSimple_queue.t -> 'a
  val pop : 'a CCSimple_queue.t -> ('a * 'a CCSimple_queue.t) option
  val pop_exn : 'a CCSimple_queue.t -> 'a * 'a CCSimple_queue.t
  val junk : 'a CCSimple_queue.t -> 'a CCSimple_queue.t
  val append :
    'a CCSimple_queue.t -> 'a CCSimple_queue.t -> 'a CCSimple_queue.t
  val map : ('a -> 'b) -> 'a CCSimple_queue.t -> 'b CCSimple_queue.t
  val rev : 'a CCSimple_queue.t -> 'a CCSimple_queue.t
  val equal :
    ('a -> 'a -> bool) -> 'a CCSimple_queue.t -> 'a CCSimple_queue.t -> bool
  module Infix :
    sig
      val ( >|= ) : 'a CCSimple_queue.t -> ('a -> 'b) -> 'b CCSimple_queue.t
      val ( @ ) :
        'a CCSimple_queue.t -> 'a CCSimple_queue.t -> 'a CCSimple_queue.t
      val ( <:: ) : 'a CCSimple_queue.t -> 'a -> 'a CCSimple_queue.t
    end
  val ( >|= ) : 'a t -> ('a -> 'b) -> 'b t
  val ( @ ) : 'a t -> 'a t -> 'a t
  val ( <:: ) : 'a t -> 'a -> 'a t
  val length : 'a CCSimple_queue.t -> int
  val fold : ('b -> 'a -> 'b) -> 'b -> 'a CCSimple_queue.t -> 'b
  val iter : ('a -> unit) -> 'a CCSimple_queue.t -> unit
  val to_list : 'a CCSimple_queue.t -> 'a list
  val add_list : 'a CCSimple_queue.t -> 'a list -> 'a CCSimple_queue.t
  val of_list : 'a list -> 'a CCSimple_queue.t
  val to_seq : 'a CCSimple_queue.t -> 'a CCSimple_queue.sequence
  val add_seq :
    'a CCSimple_queue.t -> 'a CCSimple_queue.sequence -> 'a CCSimple_queue.t
  val of_seq : 'a CCSimple_queue.sequence -> 'a CCSimple_queue.t
  val to_klist : 'a CCSimple_queue.t -> 'a CCSimple_queue.klist
  val add_klist :
    'a CCSimple_queue.t -> 'a CCSimple_queue.klist -> 'a CCSimple_queue.t
  val of_klist : 'a CCSimple_queue.klist -> 'a CCSimple_queue.t
  val of_gen : 'a CCSimple_queue.gen -> 'a CCSimple_queue.t
  val add_gen :
    'a CCSimple_queue.t -> 'a CCSimple_queue.gen -> 'a CCSimple_queue.t
  val to_gen : 'a CCSimple_queue.t -> 'a CCSimple_queue.gen
  val pp :
    ?sep:unit CCSimple_queue.printer ->
    'a CCSimple_queue.printer -> 'a CCSimple_queue.t CCSimple_queue.printer
end