qcheck

QuickCheck inspired property-based testing for OCaml.
IN THIS PACKAGE
Module QCheck . Tuple . Infix
val (@::) : 'a -> 'b t -> ('a * 'b) t

Alias to cons.

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

Alias to B_cons.