- libc6 (>= 2.17)
- ocaml-base-nox-4.05.0
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: 841.7 kB
Architectures: amd64 arm64