Of_always (zprize.Twisted_edwards_lib.Mixed_add_precompute.Make.Xyzt.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