Lines Matching defs:M
122 m: &Modulus<M>, in from_be_bytes_padded_less_than()
144 fn width(&self) -> Width<M> { in width()
305 fn width(&self) -> Width<M> { in width()
309 fn zero<E>(&self) -> Elem<M, E> { in zero()
317 fn one(&self) -> Elem<M, Unencoded> { in one()
323 pub fn oneRR(&self) -> &One<M, RR> { in oneRR()
343 fn as_partial(&self) -> PartialModulus<M> { in as_partial()
360 fn zero(&self) -> Elem<M, R> { in zero()
404 fn decode_once(self, m: &Modulus<M>) -> Elem<M, <E as ReductionEncoding>::Output> { in decode_once()
424 pub fn into_unencoded(self, m: &Modulus<M>) -> Elem<M, Unencoded> { in into_unencoded()
432 m: &Modulus<M>, in from_be_bytes_padded()
457 pub fn elem_mul<M, AF, BF>( in elem_mul()
458 a: &Elem<M, AF>, in elem_mul()
459 b: Elem<M, BF>, in elem_mul()
460 m: &Modulus<M>, in elem_mul()
461 ) -> Elem<M, <(AF, BF) as ProductEncoding>::Output> in elem_mul()
468 fn elem_mul_<M, AF, BF>( in elem_mul_()
469 a: &Elem<M, AF>, in elem_mul_()
470 mut b: Elem<M, BF>, in elem_mul_()
471 m: &PartialModulus<M>, in elem_mul_()
472 ) -> Elem<M, <(AF, BF) as ProductEncoding>::Output> in elem_mul_()
483 fn elem_mul_by_2<M, AF>(a: &mut Elem<M, AF>, m: &PartialModulus<M>) { in elem_mul_by_2() argument
527 fn elem_squared<M, E>( in elem_squared()
528 mut a: Elem<M, E>, in elem_squared()
529 m: &PartialModulus<M>, in elem_squared()
530 ) -> Elem<M, <(E, E) as ProductEncoding>::Output> in elem_squared()
551 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
575 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
609 fn newRR(m: &PartialModulus<M>, m_bits: bits::BitLength) -> Self { in newRR()
649 fn as_ref(&self) -> &Elem<M, E> { in as_ref()
725 base: Elem<M, Unencoded>, in elem_exp_vartime()
727 m: &Modulus<M>, in elem_exp_vartime()
728 ) -> Elem<M, R> { in elem_exp_vartime()
734 fn elem_exp_vartime_<M>(base: Elem<M, R>, exponent: u64, m: &PartialModulus<M>) -> Elem<M, R> { in elem_exp_vartime_()
778 p: &Modulus<M>, in from_be_bytes_padded()
811 base: Elem<M, R>, in elem_exp_consttime()
812 exponent: &PrivateExponent<M>, in elem_exp_consttime()
813 m: &Modulus<M>, in elem_exp_consttime()
814 ) -> Result<Elem<M, Unencoded>, error::Unspecified> { in elem_exp_consttime()
824 fn gather<M>(table: &[Limb], i: Window, r: &mut Elem<M, R>) { in elem_exp_consttime()
842 mut acc: Elem<M, R>, in elem_exp_consttime()
843 mut tmp: Elem<M, R>, in elem_exp_consttime()
844 m: &Modulus<M>, in elem_exp_consttime()
845 ) -> (Elem<M, R>, Elem<M, R>) { in elem_exp_consttime()
899 a: Elem<M, R>, in elem_inverse_consttime()
900 m: &Modulus<M>, in elem_inverse_consttime()
901 ) -> Result<Elem<M, Unencoded>, error::Unspecified> { in elem_inverse_consttime()
907 base: Elem<M, R>, in elem_exp_consttime()
908 exponent: &PrivateExponent<M>, in elem_exp_consttime()
909 m: &Modulus<M>, in elem_exp_consttime()
910 ) -> Result<Elem<M, Unencoded>, error::Unspecified> { in elem_exp_consttime()
946 const M: usize = BASE + 1; // `np` in OpenSSL in elem_exp_consttime() constant
1101 a: &Elem<M, R>, in verify_inverses_consttime()
1102 b: Elem<M, Unencoded>, in verify_inverses_consttime()
1103 m: &Modulus<M>, in verify_inverses_consttime()
1113 pub fn elem_verify_equal_consttime<M, E>( in elem_verify_equal_consttime()
1114 a: &Elem<M, E>, in elem_verify_equal_consttime()
1115 b: &Elem<M, E>, in elem_verify_equal_consttime()
1155 pub fn to_elem<M>(&self, m: &Modulus<M>) -> Result<Elem<M, Unencoded>, error::Unspecified> { in to_elem()
1401 struct M {} struct
1403 unsafe impl PublicModulus for M {} implementation
1485 unsafe impl SmallerModulus<MM> for M {} in test_elem_reduced() implementation
1486 unsafe impl NotMuchSmallerModulus<MM> for M {} in test_elem_reduced() implementation
1548 m: &Modulus<M>, in consume_elem()
1549 ) -> Elem<M, Unencoded> { in consume_elem()
1558 ) -> Elem<M, Unencoded> { in consume_elem_unchecked()
1571 fn consume_modulus<M>(test_case: &mut test::TestCase, name: &str) -> Modulus<M> { in consume_modulus()
1585 fn assert_elem_eq<M, E>(a: &Elem<M, E>, b: &Elem<M, E>) { in assert_elem_eq() argument
1591 fn into_encoded<M>(a: Elem<M, Unencoded>, m: &Modulus<M>) -> Elem<M, R> { in into_encoded()