Module Field_ops_lib.Montgomery_reduction

Computes z' = x' * y' mod p, where p is a prime, where x', y' and z' are x, y and z in montgomery space.

This module is not presently maintained.

module Config : sig ... end
val hierarchical : config:Config.t -> clock:Hardcaml.Signal.t -> enable:Hardcaml.Signal.t -> scope:Hardcaml.Scope.t -> p:Z.t -> Hardcaml.Signal.t -> Hardcaml.Signal.t
module With_interface (M : sig ... end) : sig ... end