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 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 end