pub fn constrained_montgomery_mod_mul<T>(a: T, b: &T, modulus: &T) -> Option<T>where
for<'a> T: Clone + Zero + One + PartialEq + PartialOrd + WrappingAdd + WrappingSub + Shl<usize, Output = T> + Shr<usize, Output = T> + Sub<Output = T> + for<'a> Rem<&'a T, Output = T> + Add<&'a T, Output = T> + Sub<&'a T, Output = T> + Mul<&'a T, Output = T> + RemAssign<&'a T>,
for<'a> &'a T: Sub<T, Output = T> + Div<&'a T, Output = T> + Rem<&'a T, Output = T> + BitAnd<Output = T>,Expand description
Complete Montgomery modular multiplication (Constrained): A * B mod N Returns None if Montgomery parameter computation fails