ocaml-qcheck 0.12 QuickCheck inspired property-based testing for OCaml

QuickCheck inspired property-based testing for OCaml. This module checks invariants (properties of some types) over randomly generated instances of the type. It provides combinators for generating instances and printing them.