Module QCheck.Tuple

module Tuple: sig .. end

type 'a t =

`\|`	`Nil : unit t`
`\|`	`Cons : 'a0 * 'b t -> ('a0 * 'b) t`

Heterogeneous tuple, used to pass any number of arguments to a function.

val nil : unit t

val cons : 'a -> 'b t -> ('a * 'b) t

type 'a obs

How to observe a 'a t

val o_nil : unit obs

val o_cons : 'a QCheck.Observable.t -> 'b obs -> ('a * 'b) obs

module Infix: sig .. end

include QCheck.Tuple.Infix

val observable : 'a obs -> 'a t QCheck.Observable.t