pub fn constrained_to_montgomery<T>(a: T, modulus: &T, r: &T) -> Twhere
for<'a> T: Zero + One + PartialOrd + WrappingAdd + WrappingSub + Shr<usize, Output = T> + RemAssign<&'a T>,
for<'a> &'a T: Rem<&'a T, Output = T> + BitAnd<Output = T>,Expand description
Convert to Montgomery form (Constrained): a -> (a * R) mod N