qcheck

QuickCheck inspired property-based testing for OCaml.
IN THIS PACKAGE
Module QCheck . Tuple
type 'a t =
| Nil : unit t
| Cons : 'a * 'b t -> ('a * '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 'at

val o_nil : unit obs
val o_cons : 'a Observable.t -> 'b obs -> ('a * 'b) obs
module Infix : sig ... end
include module type of Infix
val (@::) : 'a -> 'b t -> ('a * 'b) t

Alias to cons.

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

Alias to B_cons.

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