sig
  type 'a t = '-> string
  val unit : unit QCheck.Print.t
  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 bytes : bytes QCheck.Print.t
  val string : string QCheck.Print.t
  val option : 'QCheck.Print.t -> 'a option QCheck.Print.t
  val pair :
    'QCheck.Print.t -> 'QCheck.Print.t -> ('a * 'b) QCheck.Print.t
  val triple :
    'QCheck.Print.t ->
    'QCheck.Print.t -> 'QCheck.Print.t -> ('a * 'b * 'c) QCheck.Print.t
  val quad :
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t -> ('a * 'b * 'c * 'd) QCheck.Print.t
  val list : 'QCheck.Print.t -> 'a list QCheck.Print.t
  val array : 'QCheck.Print.t -> 'a array QCheck.Print.t
  val comap : ('-> 'b) -> 'QCheck.Print.t -> 'QCheck.Print.t
  val tup2 :
    'QCheck.Print.t -> 'QCheck.Print.t -> ('a * 'b) QCheck.Print.t
  val tup3 :
    'QCheck.Print.t ->
    'QCheck.Print.t -> 'QCheck.Print.t -> ('a * 'b * 'c) QCheck.Print.t
  val tup4 :
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t -> ('a * 'b * 'c * 'd) QCheck.Print.t
  val tup5 :
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t -> ('a * 'b * 'c * 'd * 'e) QCheck.Print.t
  val tup6 :
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t -> ('a * 'b * 'c * 'd * 'e * 'f) QCheck.Print.t
  val tup7 :
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t -> ('a * 'b * 'c * 'd * 'e * 'f * 'g) QCheck.Print.t
  val tup8 :
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    ('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h) QCheck.Print.t
  val tup9 :
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    'QCheck.Print.t ->
    ('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i) QCheck.Print.t
end