sig
type 'a t =
Nil : unit QCheck2.Tuple.t
| Cons : 'a * 'b QCheck2.Tuple.t -> ('a * 'b) QCheck2.Tuple.t
val nil : unit QCheck2.Tuple.t
val cons : 'a -> 'b QCheck2.Tuple.t -> ('a * 'b) QCheck2.Tuple.t
type 'a obs
val o_nil : unit QCheck2.Tuple.obs
val o_cons :
'a QCheck2.Observable.t ->
'b QCheck2.Tuple.obs -> ('a * 'b) QCheck2.Tuple.obs
val observable :
'a QCheck2.Tuple.obs -> 'a QCheck2.Tuple.t QCheck2.Observable.t
module Infix :
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
val ( @:: ) : 'a -> 'b t -> ('a * 'b) t
val ( @-> ) : 'a Observable.t -> 'b obs -> ('a * 'b) obs
end