Field_ops_lib.Barrett_mult
Modulo multiplication with barrett reduction.
Please see the documentation in Barrett_reduction for more information.
Barrett_reduction
module Config : sig ... end
module With_interface (M : sig ... end) : sig ... end