package hardcaml_verify

  1. Overview
  2. Docs

Unsigned vectors.

type v

Typed wrapper for t.

val of_signal : t -> v

Convert to v from a Comb.t.

val to_signal : v -> t

Convert v to a Comb.t.

val (+:) : v -> v -> v

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

val (-:) : v -> v -> v

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

val (*:) : v -> v -> v

Mulitplication.

Comparison operations

. Arguments need not be the same width.

val (<:) : v -> v -> v
val (>:) : v -> v -> v
val (<=:) : v -> v -> v
val (>=:) : v -> v -> v
val (==:) : v -> v -> v
val (<>:) : v -> v -> v
val resize : v -> Base.int -> v

Resize argument to given width. Appropriate extension is performed.

OCaml

Innovation. Community. Security.