Unsigned (p.hardcaml.v0.18~preview.130.106+341.doc.hardcaml.kernel.Hardcaml

Source

val (+:) : 
  Hardcaml_kernel__.Signal__type.t ->
  Hardcaml_kernel__.Signal__type.t ->
  Hardcaml_kernel__.Signal__type.t

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

Source

val (-:) : 
  Hardcaml_kernel__.Signal__type.t ->
  Hardcaml_kernel__.Signal__type.t ->
  Hardcaml_kernel__.Signal__type.t

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

Source

val (*:) : 
  Hardcaml_kernel__.Signal__type.t ->
  Hardcaml_kernel__.Signal__type.t ->
  Hardcaml_kernel__.Signal__type.t

Multiplication.

Comparison operations

Arguments need not be the same width.

Source

val (<:) : 
  Hardcaml_kernel__.Signal__type.t ->
  Hardcaml_kernel__.Signal__type.t ->
  Hardcaml_kernel__.Signal__type.t

Source

val (>:) : 
  Hardcaml_kernel__.Signal__type.t ->
  Hardcaml_kernel__.Signal__type.t ->
  Hardcaml_kernel__.Signal__type.t

Source

val (<=:) : 
  Hardcaml_kernel__.Signal__type.t ->
  Hardcaml_kernel__.Signal__type.t ->
  Hardcaml_kernel__.Signal__type.t

Source

val (>=:) : 
  Hardcaml_kernel__.Signal__type.t ->
  Hardcaml_kernel__.Signal__type.t ->
  Hardcaml_kernel__.Signal__type.t

Source

val (==:) : 
  Hardcaml_kernel__.Signal__type.t ->
  Hardcaml_kernel__.Signal__type.t ->
  Hardcaml_kernel__.Signal__type.t

Source

val (<>:) : 
  Hardcaml_kernel__.Signal__type.t ->
  Hardcaml_kernel__.Signal__type.t ->
  Hardcaml_kernel__.Signal__type.t

Source

val resize : 
  Hardcaml_kernel__.Signal__type.t ->
  int ->
  Hardcaml_kernel__.Signal__type.t

Resize argument to given width. Appropriate extension is performed.

Source

val truncate : 
  Hardcaml_kernel__.Signal__type.t ->
  width:int ->
  (Hardcaml_kernel__.Signal__type.t, Hardcaml_kernel__.Signal__type.t)
    Hardcaml_kernel__.Comb_intf.with_valid2

Reduce the width of t to width bits. The result is valid if the value fits within width bits.