sig
  type 'a t = 'a -> string
  val int : int QCheck.Print.t
  val bool : bool QCheck.Print.t
  val float : float QCheck.Print.t
  val char : char QCheck.Print.t
  val string : string QCheck.Print.t
  val option : 'a QCheck.Print.t -> 'a option QCheck.Print.t
  val pair :
    'a QCheck.Print.t -> 'b QCheck.Print.t -> ('a * 'b) QCheck.Print.t
  val triple :
    'a QCheck.Print.t ->
    'b QCheck.Print.t -> 'c QCheck.Print.t -> ('a * 'b * 'c) QCheck.Print.t
  val quad :
    'a QCheck.Print.t ->
    'b QCheck.Print.t ->
    'c QCheck.Print.t ->
    'd QCheck.Print.t -> ('a * 'b * 'c * 'd) QCheck.Print.t
  val list : 'a QCheck.Print.t -> 'a list QCheck.Print.t
  val array : 'a QCheck.Print.t -> 'a array QCheck.Print.t
  val comap : ('a -> 'b) -> 'b QCheck.Print.t -> 'a QCheck.Print.t
end