Parameter `Make_primitives.1-Gates`

type t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

include Hardcaml__.Import.Equal.S with type t := t

type t

val equal : t Hardcaml__.Import.Equal.equal

val empty : t: the empty signal

val is_empty : t -> Hardcaml__.Import.bool
val width : t -> Hardcaml__.Import.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 Hardcaml__.Import.list -> t: concatenates a list of signals

val select : t -> Hardcaml__.Import.int -> Hardcaml__.Import.int -> t: select a range of bits

val (--) : t -> Hardcaml__.Import.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 -> Hardcaml__.Import.string: create string from signal