package hardcaml

  1. Overview
  2. Docs

Module type Comb.PrimitivesSource

type t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
include Base.Equal.S with type t := t
val equal : t Base.Equal.equal
val empty : t

the empty signal

val is_empty : t -> Base.Bool.t
val width : t -> Base.Int.t

returns the width of a signal

val of_constant : Constant.t -> t

creates a constant

val to_constant : t -> Constant.t
val concat_msb : t Base.List.t -> t

concatenates a list of signals

val select : t -> Base.Int.t -> Base.Int.t -> t

select a range of bits

val (--) : t -> Base.String.t -> t

names a signal

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

bitwise and

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

bitwise or

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

bitwise xor

val (~:) : t -> t

bitwise not

val to_string : t -> Base.String.t

create string from signal

val mux : t -> t Base.List.t -> t

multiplexer

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

addition

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

subtraction

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

unsigned multiplication

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

signed multiplication

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

equality

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

less than