# ocaml-qcheck
[Qcheck](https://c-cube.github.io/qcheck/) enables checking invariants
(properties of a type) over randomly generated instances of the type. It
provides combinators for generating instances and printing them.