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