Module `Field_ops_lib.Montgomery_mult`

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

module With_interface (M : sig ... end) : sig ... end