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