package hardcaml_verify
Hardcaml Verification Tools
Install
Dune Dependency
Authors
Maintainers
Sources
v0.17.0.tar.gz
sha256=a09a904776ad848f685afb4ebe85e0d449acb81f6f2425fccc52a3c5b76be629
doc/hardcaml_verify.kernel/Hardcaml_verify_kernel/index.html
Module Hardcaml_verify_kernel
Source
Hardcaml combinational logic API using lists of Basic_gate.t
s.
Computes information about the one-hotness of a vector. In addition it can compute if no bits are set or more than 1 bit is set.
Labels represent named variables. They contain a uid
(unique identifier) which is constructed when the label is created. The name is not used for comparison.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>