Module Comb_gates.With_zero_width

Concatention, selection and resizing functions for signals encoded as an option where None means zero width.

type non_zero_width = t
val sexp_of_non_zero_width : non_zero_width -> Sexplib0.Sexp.t
type t = non_zero_width option
val sexp_of_t : t -> Sexplib0.Sexp.t
val of_non_zero_width : non_zero_width -> t
val to_non_zero_width : ?default:non_zero_width -> t -> non_zero_width
val zero_width : t
val zero : int -> t
val one : int -> t
val ones : int -> t
val concat_msb : t list -> t
val concat_lsb : t list -> t
val select : t -> high:int -> low:int -> t
val lsbs : t -> t
val msbs : t -> t
val drop_bottom : t -> width:int -> t
val drop_top : t -> width:int -> t
val sel_bottom : t -> width:int -> t
val sel_top : t -> width:int -> t
val repeat : t -> count:int -> t
val mux : t -> non_zero_width list -> non_zero_width