module Tuple:sig
..end
Utils on combining function arguments.
type 'a
t =
| |
Nil : |
| |
Cons : |
Heterogeneous tuple, used to pass any number of arguments to a function.
val nil : unit t
nil
is Nil
.
val cons : 'a -> 'b t -> ('a * 'b) t
cons
is Cons
.
type 'a
obs
How to observe a QCheck2.Tuple.t
.
See QCheck2.Observable
for more information on what
"observe" means in the QCheck.
val o_nil : unit obs
o_nil
is the QCheck2.Tuple.obs
equivalent of QCheck2.Tuple.nil
.
val o_cons : 'a QCheck2.Observable.t ->
'b obs -> ('a * 'b) obs
o_cons
is the QCheck2.Tuple.obs
equivalent of QCheck2.Tuple.cons
.
val observable : 'a obs -> 'a t QCheck2.Observable.t
observable obs
returns the underlying observable of obs
.
module Infix:sig
..end
Infix QCheck2.Tuple
operators for convenience.
include QCheck2.Tuple.Infix