sig   val ( @:: ) : 'a -> 'b QCheck.Tuple.t -> ('a * 'b) QCheck.Tuple.t   val ( @-> ) :     'a QCheck.Observable.t ->     'b QCheck.Tuple.obs -> ('a * 'b) QCheck.Tuple.obs end