Function ring::arithmetic::bigint::elem_reduced
source ยท pub fn elem_reduced<Larger, Smaller>(
a: &Elem<Larger, Unencoded>,
m: &Modulus<'_, Smaller>,
other_prime_len_bits: BitLength,
) -> Elem<Smaller, RInverse>