pub fn constrained_mod_mul<T>(a: T, b: &T, m: &T) -> Twhere
for<'a> T: Zero + One + Parity + PartialOrd + WrappingAdd + WrappingSub + Shr<usize, Output = T> + RemAssign<&'a T>,
for<'a> &'a T: Rem<&'a T, Output = T>,Expand description
ยงModular Multiplication (Constrained)
Version that works with references, requires WrappingAdd and
WrappingSub traits to be implemented.