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