hardcaml
Structural.Base
the comb API must be (rebuilt) between each circuit
ppx_deriving_hardcaml0
module C : Config
type t = signal
val sexp_of_t : t -> Sexplib0.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
val width : t -> Base.int
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
concatenates a list of signals
val select : t -> Base.int -> Base.int -> t
select a range of bits
val (--) : t -> Base.string -> 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
create string from signal
val mux : t -> t Base.list -> 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