I.Of_alwaysval value : Hardcaml.Always.Variable.t t -> Hardcaml.Signal.t tval assign : 
  Hardcaml.Always.Variable.t t ->
  Hardcaml.Signal.t t ->
  Hardcaml.Always.tval reg : 
  ?enable:Hardcaml.Signal.t ->
  Hardcaml.Reg_spec.t ->
  Hardcaml.Always.Variable.t tval wire : ( Base.int -> Hardcaml.Signal.t ) -> Hardcaml.Always.Variable.t t