Module One_hot.Of_bits

type comb = Bits.t
type t = comb t
val sexp_of_t : comb t -> Sexplib0.Sexp.t
val assert_widths : comb t -> Base.unit
val of_int : Base.int -> comb t
val const : Base.int -> comb t
val pack : ?rev:Base.bool -> comb t -> comb
val unpack : ?rev:Base.bool -> comb -> comb t
val mux : comb -> comb t Base.list -> comb t
val mux2 : comb -> comb t -> comb t -> comb t
val concat : comb t Base.list -> comb t
val priority_select : ( ( comb, comb t ) Comb.with_valid2 Base.list -> ( comb, comb t ) Comb.with_valid2 ) Comb.optional_branching_factor
val priority_select_with_default : ( ( comb, comb t ) Comb.with_valid2 Base.list -> default:comb t -> comb t ) Comb.optional_branching_factor
val onehot_select : ( ( comb, comb t ) Comb.with_valid2 Base.list -> comb t ) Comb.optional_branching_factor
val widths : t -> Base.int t
val of_ints : Base.int t -> t
val consts : Base.int t -> t
val is : t -> Cases.t -> Bits.t
val (==:) : t -> t -> Bits.t
val of_enum : Cases.t -> Bits.t outer
val of_raw : Bits.t -> Bits.t outer
val match_ : ?default:Bits.t -> Bits.t outer -> (Cases.t * Bits.t) Base.list -> Bits.t