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