module Tuple:sig..end
type 'a t =
| |
Nil : |
| |
Cons : |
val nil : unit t
val cons : 'a -> 'b t -> ('a * 'b) t
type 'a obs
'a tval 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