Module Field_ops_lib.Modulo_subtractor_pipe

Computes (a - b mod P) over multiple pipeline stages.

val latency : stages:int -> int
val create : clock:Hardcaml.Signal.t -> enable:Hardcaml.Signal.t -> stages:int -> p:Z.t -> Hardcaml.Signal.t -> Hardcaml.Signal.t -> Hardcaml.Signal.t
module With_interface (M : sig ... end) : sig ... end