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