package hardcaml_verify

You can search for identifiers within the package.

in-package search v0.2.0

Hardcaml Verification Tools

Install

Dune Dependency

github.com Readme Changelog MIT License Edit opam file Versions (3)

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

v0.17.0.tar.gz

sha256=a09a904776ad848f685afb4ebe85e0d449acb81f6f2425fccc52a3c5b76be629

doc/hardcaml_verify.kernel/Hardcaml_verify_kernel/Comb_gates/Signed/index.html

Module `Comb_gates.Signed`Source

Signed vectors.

Sourcetype v

Typed wrapper for t.

Sourceval of_signal : t -> v

Convert to v from a Comb.t.

Sourceval to_signal : v -> t

Convert v to a Comb.t.

Sourceval (+:) : v -> v -> v

Addition. Arguments are extended appropriately and result is 1 bit wider to avoid truntraction.

Sourceval (-:) : v -> v -> v

Subtraction. Arguments are extended appropriately and result is 1 bit wider to avoid truntraction.

Sourceval (*:) : v -> v -> v

Mulitplication.

Comparison operations

. Arguments need not be the same width.

Sourceval (<:) : v -> v -> v

Sourceval (>:) : v -> v -> v

Sourceval (<=:) : v -> v -> v

Sourceval (>=:) : v -> v -> v

Sourceval (==:) : v -> v -> v

Sourceval (<>:) : v -> v -> v

Sourceval resize : v -> Base.int -> v

Resize argument to given width. Appropriate extension is performed.

On This Page

Comparison operations