package hardcaml_verify

  1. Overview
  2. No Docs
Hardcaml Verification Tools

Install 

dune-project
 Dependency

github.com Edit opam file Versions (3)

Authors

  1. J
    Jane Street Group, LLC

Maintainers

  1. J
    Jane Street developers

Sources

hardcaml_verify-v0.15.0.tar.gz
sha256=a469d63c76bd86fbd04aa38d391dc736d4bc291ad5ffe0090b31cc4ae3ba6622

doc/hardcaml_verify.kernel/Hardcaml_verify_kernel/Nusmv/Circuit_properties/index.html

Module Nusmv.Circuit_propertiesSource

Sourcetype ('i, 'o) t
Sourceval inputs : ('i, 'o) t -> 'i
Sourceval outputs : ('i, 'o) t -> 'o