QuickCheck inspired property-based testing for OCaml (Development package)

 This module allows one to check invariants (properties of some types) over
 randomly generated instances of the type. It provides combinators for
 generating instances and printing them.
 .
 This is a compatibility library, depends on libqcheck-ocaml.