Of_always (hardcaml.Hardcaml.Enum.Make_one_hot.Of

val value : Always.Variable.t t -> Signal.t t

val assign : Always.Variable.t t -> Signal.t t -> Always.t

val reg : ?enable:Signal.t -> Reg_spec.t -> Always.Variable.t t

val wire : ( Base.int -> Signal.t ) -> Always.Variable.t t

val match_ : 
  ?default:Always.t Base.list ->
  Signal.t t ->
  (Cases.t * Always.t Base.list) Base.list ->
  Always.t

Performs a "pattern match" on a Signal.t t, and "executes" the branch that matches the signal value. Semantics similar to switch in verilog.