package hardcaml_circuits

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Unsigned vector operations (ie may operate on Bits.t or Signal.t directly).

val of_signal : t -> t

Convert to v from a Comb.t.

val to_signal : t -> t

Convert v to a Comb.t.

val (+:) : t -> t -> t

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

val (-:) : t -> t -> t

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

val (*:) : t -> t -> t

Mulitplication.

Comparison operations

. Arguments need not be the same width.

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

Resize argument to given width. Appropriate extension is performed.

OCaml

Innovation. Community. Security.