Of_always (zprize.Zprize_ntt.Top.Make.Four_step.Axi_stream.Dest.Of

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

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

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

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