- libqcheck-core-ocaml-aduw3
- ocaml-4.13.1
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.
Installed Size: 5.0 MB
Architectures: arm64 amd64