hardcaml_verify

Hardcaml Verification Tools
IN THIS PACKAGE

Libraries

This package provides the following libraries (via dune):

hardcaml_verify

Documentation: Hardcaml_verify

Dependencies: base, hardcaml, re, hardcaml_verify.kernel, hardcaml_waveterm, stdio, ppx_sexp_conv.runtime-lib, sexplib0, ppx_compare.runtime-lib, ppx_enumerate.runtime-lib, ppx_hash.runtime-lib, ppx_here.runtime-lib, ppx_assert.runtime-lib, ppx_bench.runtime-lib, bin_prot, fieldslib, ppx_inline_test.config, ppx_inline_test.runtime-lib, ppx_module_timer.runtime, typerep, variantslib, ppx_expect.collector, ppx_expect.config, ppx_log.types, base_quickcheck.ppx_quickcheck.runtime, base_quickcheck, ppx_deriving_hardcaml.runtime

hardcaml_verify.kernel

Documentation: Hardcaml_verify_kernel

Dependencies: base, hardcaml, re, stdio, ppx_sexp_conv.runtime-lib, sexplib0, ppx_compare.runtime-lib, ppx_enumerate.runtime-lib, ppx_hash.runtime-lib, ppx_here.runtime-lib, ppx_assert.runtime-lib, ppx_bench.runtime-lib, bin_prot, fieldslib, ppx_inline_test.config, ppx_inline_test.runtime-lib, ppx_module_timer.runtime, typerep, variantslib, ppx_expect.collector, ppx_expect.config, ppx_log.types, base_quickcheck.ppx_quickcheck.runtime, base_quickcheck, ppx_deriving_hardcaml.runtime