Package : ocaml-qcheck-devel
Package details
Summary: Development files for ocaml-qcheck
Description:
Qcheck enables checking invariants (properties of a type) over randomly
generated instances of the type. It provides combinators for generating
instances and printing them.
The ocaml-qcheck-devel package contains libraries and signature files
for developing applications that use the qcheck compatibility wrapper.
New code should instead use ocaml-qcheck-alcotest-devel or
ocaml-qcheck-ounit-devel.
URL: https://c-cube.github.io/qcheck/
License: BSD
Maintainer: pterjan
Description:
Qcheck enables checking invariants (properties of a type) over randomly
generated instances of the type. It provides combinators for generating
instances and printing them.
The ocaml-qcheck-devel package contains libraries and signature files
for developing applications that use the qcheck compatibility wrapper.
New code should instead use ocaml-qcheck-alcotest-devel or
ocaml-qcheck-ounit-devel.
URL: https://c-cube.github.io/qcheck/
License: BSD
Maintainer: pterjan
List of RPMs
- ocaml-qcheck-devel-0.20-2.mga9.i586.rpm (Mageia 9, i586 media, core-release) Install