type comb = Signal.tval sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.tval widths : t -> Base.Int.t tval assert_widths : t -> Base.Unit.tval of_int : Base.Int.t -> tval of_ints : Base.Int.t t -> tval const : Base.Int.t -> tval consts : Base.Int.t t -> tval pack : ?rev:Base.Bool.t -> t -> combval unpack : ?rev:Base.Bool.t -> comb -> tval mux : comb -> t Base.List.t -> tval concat : t Base.List.t -> tval priority_select :
((comb, t) With_valid.t2 Base.List.t ->
(comb, t) With_valid.t2)
Comb.optional_branching_factorval priority_select_with_default :
((comb, t) With_valid.t2 Base.List.t ->
default:t ->
t)
Comb.optional_branching_factorval onehot_select :
((comb, t) With_valid.t2 Base.List.t -> t) Comb.optional_branching_factorval wires : ?named:Base.Bool.t -> ?from:t -> Base.Unit.t -> tval assign : t -> t -> Base.Unit.tval (<==) : t -> t -> Base.Unit.tval inputs : Base.Unit.t -> tval apply_names :
?prefix:Base.String.t ->
?suffix:Base.String.t ->
?naming_op:(comb -> Base.String.t -> comb) ->
t ->
t