sig
  type 'a sequence = ('a -> unit) -> unit
  type 'a t = Buffer.t -> 'a -> unit
  val silent : 'a CCPrint.t
  val unit : unit CCPrint.t
  val int : int CCPrint.t
  val string : string CCPrint.t
  val bool : bool CCPrint.t
  val float3 : float CCPrint.t
  val float : float CCPrint.t
  val char : char CCPrint.t
  val list :
    ?start:string ->
    ?stop:string -> ?sep:string -> 'a CCPrint.t -> 'a list CCPrint.t
  val array :
    ?start:string ->
    ?stop:string -> ?sep:string -> 'a CCPrint.t -> 'a array CCPrint.t
  val arrayi :
    ?start:string ->
    ?stop:string -> ?sep:string -> (int * 'a) CCPrint.t -> 'a array CCPrint.t
  val seq :
    ?start:string ->
    ?stop:string ->
    ?sep:string -> 'a CCPrint.t -> 'a CCPrint.sequence CCPrint.t
  val opt : 'a CCPrint.t -> 'a option CCPrint.t
  val pair : 'a CCPrint.t -> 'b CCPrint.t -> ('a * 'b) CCPrint.t
  val triple :
    'a CCPrint.t -> 'b CCPrint.t -> 'c CCPrint.t -> ('a * 'b * 'c) CCPrint.t
  val quad :
    'a CCPrint.t ->
    'b CCPrint.t ->
    'c CCPrint.t -> 'd CCPrint.t -> ('a * 'b * 'c * 'd) CCPrint.t
  val map : ('a -> 'b) -> 'b CCPrint.t -> 'a CCPrint.t
  val output : Pervasives.out_channel -> 'a CCPrint.t -> 'a -> unit
  val to_string : 'a CCPrint.t -> 'a -> string
  val sprintf : ('a, Buffer.t, unit, string) Pervasives.format4 -> 'a
  val fprintf :
    Pervasives.out_channel ->
    ('a, Buffer.t, unit, unit) Pervasives.format4 -> 'a
  val to_file : string -> ('a, Buffer.t, unit, unit) Pervasives.format4 -> 'a
  val printf : ('a, Buffer.t, unit, unit) Pervasives.format4 -> 'a
  val eprintf : ('a, Buffer.t, unit, unit) Pervasives.format4 -> 'a
  module type MONAD_IO =
    sig
      type 'a t
      type output
      val ( >>= ) :
        'a CCPrint.MONAD_IO.t ->
        ('a -> 'b CCPrint.MONAD_IO.t) -> 'b CCPrint.MONAD_IO.t
      val write :
        CCPrint.MONAD_IO.output -> string -> unit CCPrint.MONAD_IO.t
    end
  module MakeIO :
    functor (M : MONAD_IO) ->
      sig
        val output : M.output -> 'a CCPrint.t -> 'a -> unit M.t
        val printl : M.output -> 'a CCPrint.t -> 'a -> unit M.t
        val fprintf :
          M.output -> ('a, Buffer.t, unit, unit M.t) Pervasives.format4 -> 'a
      end
end