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.
Installed Size: 61.4 kB
Architectures: arm64 amd64