Lines Matching defs:M
124 m: &Modulus<M>, in from_be_bytes_padded_less_than()
146 fn width(&self) -> Width<M> { in width()
333 fn width(&self) -> Width<M> { in width()
337 fn zero<E>(&self) -> Elem<M, E> { in zero()
345 fn one(&self) -> Elem<M, Unencoded> { in one()
351 pub fn oneRR(&self) -> &One<M, RR> { in oneRR()
371 fn as_partial(&self) -> PartialModulus<M> { in as_partial()
388 fn zero(&self) -> Elem<M, R> { in zero()
432 fn decode_once(self, m: &Modulus<M>) -> Elem<M, <E as ReductionEncoding>::Output> { in decode_once()
452 pub fn into_unencoded(self, m: &Modulus<M>) -> Elem<M, Unencoded> { in into_unencoded()
460 m: &Modulus<M>, in from_be_bytes_padded()
485 pub fn elem_mul<M, AF, BF>( in elem_mul()
486 a: &Elem<M, AF>, in elem_mul()
487 b: Elem<M, BF>, in elem_mul()
488 m: &Modulus<M>, in elem_mul()
489 ) -> Elem<M, <(AF, BF) as ProductEncoding>::Output> in elem_mul()
496 fn elem_mul_<M, AF, BF>( in elem_mul_()
497 a: &Elem<M, AF>, in elem_mul_()
498 mut b: Elem<M, BF>, in elem_mul_()
499 m: &PartialModulus<M>, in elem_mul_()
500 ) -> Elem<M, <(AF, BF) as ProductEncoding>::Output> in elem_mul_()
511 fn elem_mul_by_2<M, AF>(a: &mut Elem<M, AF>, m: &PartialModulus<M>) { in elem_mul_by_2() argument
555 fn elem_squared<M, E>( in elem_squared()
556 mut a: Elem<M, E>, in elem_squared()
557 m: &PartialModulus<M>, in elem_squared()
558 ) -> Elem<M, <(E, E) as ProductEncoding>::Output> in elem_squared()
579 pub fn elem_add<M, E>(mut a: Elem<M, E>, b: Elem<M, E>, m: &Modulus<M>) -> Elem<M, E> { in elem_add() argument
585 pub fn elem_sub<M, E>(mut a: Elem<M, E>, b: &Elem<M, E>, m: &Modulus<M>) -> Elem<M, E> { in elem_sub() argument
619 fn newRR(m: &PartialModulus<M>, m_bits: bits::BitLength) -> Self { in newRR()
665 fn as_ref(&self) -> &Elem<M, E> { in as_ref()
752 base: Elem<M, Unencoded>, in elem_exp_vartime()
754 m: &Modulus<M>, in elem_exp_vartime()
755 ) -> Elem<M, R> { in elem_exp_vartime()
761 fn elem_exp_vartime_<M>(base: Elem<M, R>, exponent: u64, m: &PartialModulus<M>) -> Elem<M, R> { in elem_exp_vartime_()
805 p: &Modulus<M>, in from_be_bytes_padded()
838 base: Elem<M, R>, in elem_exp_consttime()
839 exponent: &PrivateExponent<M>, in elem_exp_consttime()
840 m: &Modulus<M>, in elem_exp_consttime()
841 ) -> Result<Elem<M, Unencoded>, error::Unspecified> { in elem_exp_consttime()
851 fn gather<M>(table: &[Limb], i: Window, r: &mut Elem<M, R>) { in elem_exp_consttime()
869 mut acc: Elem<M, R>, in elem_exp_consttime()
870 mut tmp: Elem<M, R>, in elem_exp_consttime()
871 m: &Modulus<M>, in elem_exp_consttime()
872 ) -> (Elem<M, R>, Elem<M, R>) { in elem_exp_consttime()
926 a: Elem<M, R>, in elem_inverse_consttime()
927 m: &Modulus<M>, in elem_inverse_consttime()
928 ) -> Result<Elem<M, Unencoded>, error::Unspecified> { in elem_inverse_consttime()
934 base: Elem<M, R>, in elem_exp_consttime()
935 exponent: &PrivateExponent<M>, in elem_exp_consttime()
936 m: &Modulus<M>, in elem_exp_consttime()
937 ) -> Result<Elem<M, Unencoded>, error::Unspecified> { in elem_exp_consttime()
973 const M: usize = BASE + 1; // `np` in OpenSSL in elem_exp_consttime() constant
1128 a: &Elem<M, R>, in verify_inverses_consttime()
1129 b: Elem<M, Unencoded>, in verify_inverses_consttime()
1130 m: &Modulus<M>, in verify_inverses_consttime()
1140 pub fn elem_verify_equal_consttime<M, E>( in elem_verify_equal_consttime()
1141 a: &Elem<M, E>, in elem_verify_equal_consttime()
1142 b: &Elem<M, E>, in elem_verify_equal_consttime()
1182 pub fn to_elem<M>(&self, m: &Modulus<M>) -> Result<Elem<M, Unencoded>, error::Unspecified> { in to_elem()
1378 struct M {} struct
1380 unsafe impl PublicModulus for M {} implementation
1462 unsafe impl SmallerModulus<MM> for M {} in test_elem_reduced() implementation
1463 unsafe impl NotMuchSmallerModulus<MM> for M {} in test_elem_reduced() implementation
1527 m: &Modulus<M>, in consume_elem()
1528 ) -> Elem<M, Unencoded> { in consume_elem()
1537 ) -> Elem<M, Unencoded> { in consume_elem_unchecked()
1550 fn consume_modulus<M>(test_case: &mut test::TestCase, name: &str) -> Modulus<M> { in consume_modulus()
1564 fn assert_elem_eq<M, E>(a: &Elem<M, E>, b: &Elem<M, E>) { in assert_elem_eq() argument
1570 fn into_encoded<M>(a: Elem<M, Unencoded>, m: &Modulus<M>) -> Elem<M, R> { in into_encoded()