sig
type 'a t = 'a -> string
val unit : unit QCheck2.Print.t
val int : int QCheck2.Print.t
val bool : bool QCheck2.Print.t
val float : float QCheck2.Print.t
val char : char QCheck2.Print.t
val bytes : bytes QCheck2.Print.t
val string : string QCheck2.Print.t
val option : 'a QCheck2.Print.t -> 'a option QCheck2.Print.t
val pair :
'a QCheck2.Print.t -> 'b QCheck2.Print.t -> ('a * 'b) QCheck2.Print.t
val triple :
'a QCheck2.Print.t ->
'b QCheck2.Print.t ->
'c QCheck2.Print.t -> ('a * 'b * 'c) QCheck2.Print.t
val quad :
'a QCheck2.Print.t ->
'b QCheck2.Print.t ->
'c QCheck2.Print.t ->
'd QCheck2.Print.t -> ('a * 'b * 'c * 'd) QCheck2.Print.t
val list : 'a QCheck2.Print.t -> 'a list QCheck2.Print.t
val array : 'a QCheck2.Print.t -> 'a array QCheck2.Print.t
val contramap : ('b -> 'a) -> 'a QCheck2.Print.t -> 'b QCheck2.Print.t
val comap : ('b -> 'a) -> 'a QCheck2.Print.t -> 'b QCheck2.Print.t
val tup2 :
'a QCheck2.Print.t -> 'b QCheck2.Print.t -> ('a * 'b) QCheck2.Print.t
val tup3 :
'a QCheck2.Print.t ->
'b QCheck2.Print.t ->
'c QCheck2.Print.t -> ('a * 'b * 'c) QCheck2.Print.t
val tup4 :
'a QCheck2.Print.t ->
'b QCheck2.Print.t ->
'c QCheck2.Print.t ->
'd QCheck2.Print.t -> ('a * 'b * 'c * 'd) QCheck2.Print.t
val tup5 :
'a QCheck2.Print.t ->
'b QCheck2.Print.t ->
'c QCheck2.Print.t ->
'd QCheck2.Print.t ->
'e QCheck2.Print.t -> ('a * 'b * 'c * 'd * 'e) QCheck2.Print.t
val tup6 :
'a QCheck2.Print.t ->
'b QCheck2.Print.t ->
'c QCheck2.Print.t ->
'd QCheck2.Print.t ->
'e QCheck2.Print.t ->
'f QCheck2.Print.t -> ('a * 'b * 'c * 'd * 'e * 'f) QCheck2.Print.t
val tup7 :
'a QCheck2.Print.t ->
'b QCheck2.Print.t ->
'c QCheck2.Print.t ->
'd QCheck2.Print.t ->
'e QCheck2.Print.t ->
'f QCheck2.Print.t ->
'g QCheck2.Print.t -> ('a * 'b * 'c * 'd * 'e * 'f * 'g) QCheck2.Print.t
val tup8 :
'a QCheck2.Print.t ->
'b QCheck2.Print.t ->
'c QCheck2.Print.t ->
'd QCheck2.Print.t ->
'e QCheck2.Print.t ->
'f QCheck2.Print.t ->
'g QCheck2.Print.t ->
'h QCheck2.Print.t ->
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h) QCheck2.Print.t
val tup9 :
'a QCheck2.Print.t ->
'b QCheck2.Print.t ->
'c QCheck2.Print.t ->
'd QCheck2.Print.t ->
'e QCheck2.Print.t ->
'f QCheck2.Print.t ->
'g QCheck2.Print.t ->
'h QCheck2.Print.t ->
'i QCheck2.Print.t ->
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i) QCheck2.Print.t
end