Trait Mul 

pub trait Mul<Rhs = Self> {
    type Output;

    // Required method
    fn mul(self, rhs: Rhs) -> Self::Output;
}

The multiplication operator *.

Note that Rhs is Self by default, but this is not mandatory.

Examples

Multipliable rational numbers

use std::ops::Mul;

// By the fundamental theorem of arithmetic, rational numbers in lowest
// terms are unique. So, by keeping `Rational`s in reduced form, we can
// derive `Eq` and `PartialEq`.
#[derive(Debug, Eq, PartialEq)]
struct Rational {
    numerator: usize,
    denominator: usize,
}

impl Rational {
    fn new(numerator: usize, denominator: usize) -> Self {
        if denominator == 0 {
            panic!("Zero is an invalid denominator!");
        }

        // Reduce to lowest terms by dividing by the greatest common
        // divisor.
        let gcd = gcd(numerator, denominator);
        Self {
            numerator: numerator / gcd,
            denominator: denominator / gcd,
        }
    }
}

impl Mul for Rational {
    // The multiplication of rational numbers is a closed operation.
    type Output = Self;

    fn mul(self, rhs: Self) -> Self {
        let numerator = self.numerator * rhs.numerator;
        let denominator = self.denominator * rhs.denominator;
        Self::new(numerator, denominator)
    }
}

// Euclid's two-thousand-year-old algorithm for finding the greatest common
// divisor.
fn gcd(x: usize, y: usize) -> usize {
    let mut x = x;
    let mut y = y;
    while y != 0 {
        let t = y;
        y = x % y;
        x = t;
    }
    x
}

assert_eq!(Rational::new(1, 2), Rational::new(2, 4));
assert_eq!(Rational::new(2, 3) * Rational::new(3, 4),
           Rational::new(1, 2));

Multiplying vectors by scalars as in linear algebra

use std::ops::Mul;

struct Scalar { value: usize }

#[derive(Debug, PartialEq)]
struct Vector { value: Vec<usize> }

impl Mul<Scalar> for Vector {
    type Output = Self;

    fn mul(self, rhs: Scalar) -> Self::Output {
        Self { value: self.value.iter().map(|v| v * rhs.value).collect() }
    }
}

let vector = Vector { value: vec![2, 4, 6] };
let scalar = Scalar { value: 3 };
assert_eq!(vector * scalar, Vector { value: vec![6, 12, 18] });

Required Associated Types

type Output

The resulting type after applying the * operator.

Required Methods

fn mul(self, rhs: Rhs) -> Self::Output

Performs the * operation.

Example

assert_eq!(12 * 2, 24);

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl Mul for BoxedMontyForm

type Output = BoxedMontyForm

impl Mul for Complex<f16>

type Output = Complex<f16>

impl Mul for Complex<f32>

type Output = Complex<f32>

impl Mul for Complex<f64>

type Output = Complex<f64>

impl Mul for Complex<f128>

type Output = Complex<f128>

impl Mul for Limb

type Output = Limb

impl Mul for Saturating<i8>

type Output = Saturating<i8>

impl Mul for Saturating<i16>

type Output = Saturating<i16>

impl Mul for Saturating<i32>

type Output = Saturating<i32>

impl Mul for Saturating<i64>

type Output = Saturating<i64>

impl Mul for Saturating<i128>

type Output = Saturating<i128>

impl Mul for Saturating<isize>

type Output = Saturating<isize>

impl Mul for Saturating<u8>

type Output = Saturating<u8>

impl Mul for Saturating<u16>

type Output = Saturating<u16>

impl Mul for Saturating<u32>

type Output = Saturating<u32>

impl Mul for Saturating<u64>

type Output = Saturating<u64>

impl Mul for Saturating<u128>

type Output = Saturating<u128>

impl Mul for Saturating<usize>

type Output = Saturating<usize>

impl Mul for core::num::wrapping::Wrapping<i8>

type Output = Wrapping<i8>

impl Mul for core::num::wrapping::Wrapping<i16>

type Output = Wrapping<i16>

impl Mul for core::num::wrapping::Wrapping<i32>

type Output = Wrapping<i32>

impl Mul for core::num::wrapping::Wrapping<i64>

type Output = Wrapping<i64>

impl Mul for core::num::wrapping::Wrapping<i128>

type Output = Wrapping<i128>

impl Mul for core::num::wrapping::Wrapping<isize>

type Output = Wrapping<isize>

impl Mul for core::num::wrapping::Wrapping<u8>

type Output = Wrapping<u8>

impl Mul for core::num::wrapping::Wrapping<u16>

type Output = Wrapping<u16>

impl Mul for core::num::wrapping::Wrapping<u32>

type Output = Wrapping<u32>

impl Mul for core::num::wrapping::Wrapping<u64>

type Output = Wrapping<u64>

impl Mul for core::num::wrapping::Wrapping<u128>

type Output = Wrapping<u128>

impl Mul for core::num::wrapping::Wrapping<usize>

type Output = Wrapping<usize>

impl Mul for f16

type Output = f16

impl Mul for f32

type Output = f32

impl Mul for f64

type Output = f64

impl Mul for f128

type Output = f128

impl Mul for i8

type Output = i8

impl Mul for i16

type Output = i16

impl Mul for i32

type Output = i32

impl Mul for i64

type Output = i64

impl Mul for i128

type Output = i128

impl Mul for isize

type Output = isize

impl Mul for u8

type Output = u8

impl Mul for u16

type Output = u16

impl Mul for u32

type Output = u32

impl Mul for u64

type Output = u64

impl Mul for u128

type Output = u128

impl Mul for usize

type Output = usize

impl Mul<&BoxedMontyForm> for &BoxedMontyForm

type Output = BoxedMontyForm

impl Mul<&BoxedMontyForm> for BoxedMontyForm

type Output = BoxedMontyForm

impl Mul<&Limb> for &Limb

type Output = Limb

impl Mul<&Limb> for Limb

type Output = Limb

impl Mul<&Saturating<i8>> for &Saturating<i8>

type Output = <Saturating<i8> as Mul>::Output

impl Mul<&Saturating<i8>> for Saturating<i8>

type Output = <Saturating<i8> as Mul>::Output

impl Mul<&Saturating<i16>> for &Saturating<i16>

type Output = <Saturating<i16> as Mul>::Output

impl Mul<&Saturating<i16>> for Saturating<i16>

type Output = <Saturating<i16> as Mul>::Output

impl Mul<&Saturating<i32>> for &Saturating<i32>

type Output = <Saturating<i32> as Mul>::Output

impl Mul<&Saturating<i32>> for Saturating<i32>

type Output = <Saturating<i32> as Mul>::Output

impl Mul<&Saturating<i64>> for &Saturating<i64>

type Output = <Saturating<i64> as Mul>::Output

impl Mul<&Saturating<i64>> for Saturating<i64>

type Output = <Saturating<i64> as Mul>::Output

impl Mul<&Saturating<i128>> for &Saturating<i128>

type Output = <Saturating<i128> as Mul>::Output

impl Mul<&Saturating<i128>> for Saturating<i128>

type Output = <Saturating<i128> as Mul>::Output

impl Mul<&Saturating<isize>> for &Saturating<isize>

type Output = <Saturating<isize> as Mul>::Output

impl Mul<&Saturating<isize>> for Saturating<isize>

type Output = <Saturating<isize> as Mul>::Output

impl Mul<&Saturating<u8>> for &Saturating<u8>

type Output = <Saturating<u8> as Mul>::Output

impl Mul<&Saturating<u8>> for Saturating<u8>

type Output = <Saturating<u8> as Mul>::Output

impl Mul<&Saturating<u16>> for &Saturating<u16>

type Output = <Saturating<u16> as Mul>::Output

impl Mul<&Saturating<u16>> for Saturating<u16>

type Output = <Saturating<u16> as Mul>::Output

impl Mul<&Saturating<u32>> for &Saturating<u32>

type Output = <Saturating<u32> as Mul>::Output

impl Mul<&Saturating<u32>> for Saturating<u32>

type Output = <Saturating<u32> as Mul>::Output

impl Mul<&Saturating<u64>> for &Saturating<u64>

type Output = <Saturating<u64> as Mul>::Output

impl Mul<&Saturating<u64>> for Saturating<u64>

type Output = <Saturating<u64> as Mul>::Output

impl Mul<&Saturating<u128>> for &Saturating<u128>

type Output = <Saturating<u128> as Mul>::Output

impl Mul<&Saturating<u128>> for Saturating<u128>

type Output = <Saturating<u128> as Mul>::Output

impl Mul<&Saturating<usize>> for &Saturating<usize>

type Output = <Saturating<usize> as Mul>::Output

impl Mul<&Saturating<usize>> for Saturating<usize>

type Output = <Saturating<usize> as Mul>::Output

impl Mul<&Wrapping<i8>> for &core::num::wrapping::Wrapping<i8>

type Output = <Wrapping<i8> as Mul>::Output

impl Mul<&Wrapping<i8>> for core::num::wrapping::Wrapping<i8>

type Output = <Wrapping<i8> as Mul>::Output

impl Mul<&Wrapping<i16>> for &core::num::wrapping::Wrapping<i16>

type Output = <Wrapping<i16> as Mul>::Output

impl Mul<&Wrapping<i16>> for core::num::wrapping::Wrapping<i16>

type Output = <Wrapping<i16> as Mul>::Output

impl Mul<&Wrapping<i32>> for &core::num::wrapping::Wrapping<i32>

type Output = <Wrapping<i32> as Mul>::Output

impl Mul<&Wrapping<i32>> for core::num::wrapping::Wrapping<i32>

type Output = <Wrapping<i32> as Mul>::Output

impl Mul<&Wrapping<i64>> for &core::num::wrapping::Wrapping<i64>

type Output = <Wrapping<i64> as Mul>::Output

impl Mul<&Wrapping<i64>> for core::num::wrapping::Wrapping<i64>

type Output = <Wrapping<i64> as Mul>::Output

impl Mul<&Wrapping<i128>> for &core::num::wrapping::Wrapping<i128>

type Output = <Wrapping<i128> as Mul>::Output

impl Mul<&Wrapping<i128>> for core::num::wrapping::Wrapping<i128>

type Output = <Wrapping<i128> as Mul>::Output

impl Mul<&Wrapping<isize>> for &core::num::wrapping::Wrapping<isize>

type Output = <Wrapping<isize> as Mul>::Output

impl Mul<&Wrapping<isize>> for core::num::wrapping::Wrapping<isize>

type Output = <Wrapping<isize> as Mul>::Output

impl Mul<&Wrapping<u8>> for &core::num::wrapping::Wrapping<u8>

type Output = <Wrapping<u8> as Mul>::Output

impl Mul<&Wrapping<u8>> for core::num::wrapping::Wrapping<u8>

type Output = <Wrapping<u8> as Mul>::Output

impl Mul<&Wrapping<u16>> for &core::num::wrapping::Wrapping<u16>

type Output = <Wrapping<u16> as Mul>::Output

impl Mul<&Wrapping<u16>> for core::num::wrapping::Wrapping<u16>

type Output = <Wrapping<u16> as Mul>::Output

impl Mul<&Wrapping<u32>> for &core::num::wrapping::Wrapping<u32>

type Output = <Wrapping<u32> as Mul>::Output

impl Mul<&Wrapping<u32>> for core::num::wrapping::Wrapping<u32>

type Output = <Wrapping<u32> as Mul>::Output

impl Mul<&Wrapping<u64>> for &core::num::wrapping::Wrapping<u64>

type Output = <Wrapping<u64> as Mul>::Output

impl Mul<&Wrapping<u64>> for core::num::wrapping::Wrapping<u64>

type Output = <Wrapping<u64> as Mul>::Output

impl Mul<&Wrapping<u128>> for &core::num::wrapping::Wrapping<u128>

type Output = <Wrapping<u128> as Mul>::Output

impl Mul<&Wrapping<u128>> for core::num::wrapping::Wrapping<u128>

type Output = <Wrapping<u128> as Mul>::Output

impl Mul<&Wrapping<usize>> for &core::num::wrapping::Wrapping<usize>

type Output = <Wrapping<usize> as Mul>::Output

impl Mul<&Wrapping<usize>> for core::num::wrapping::Wrapping<usize>

type Output = <Wrapping<usize> as Mul>::Output

impl Mul<&f16> for &f16

type Output = <f16 as Mul>::Output

impl Mul<&f16> for f16

type Output = <f16 as Mul>::Output

impl Mul<&f32> for &f32

type Output = <f32 as Mul>::Output

impl Mul<&f32> for f32

type Output = <f32 as Mul>::Output

impl Mul<&f64> for &f64

type Output = <f64 as Mul>::Output

impl Mul<&f64> for f64

type Output = <f64 as Mul>::Output

impl Mul<&f128> for &f128

type Output = <f128 as Mul>::Output

impl Mul<&f128> for f128

type Output = <f128 as Mul>::Output

impl Mul<&i8> for &i8

type Output = <i8 as Mul>::Output

impl Mul<&i8> for i8

type Output = <i8 as Mul>::Output

impl Mul<&i16> for &i16

type Output = <i16 as Mul>::Output

impl Mul<&i16> for i16

type Output = <i16 as Mul>::Output

impl Mul<&i32> for &i32

type Output = <i32 as Mul>::Output

impl Mul<&i32> for i32

type Output = <i32 as Mul>::Output

impl Mul<&i64> for &i64

type Output = <i64 as Mul>::Output

impl Mul<&i64> for i64

type Output = <i64 as Mul>::Output

impl Mul<&i128> for &i128

type Output = <i128 as Mul>::Output

impl Mul<&i128> for i128

type Output = <i128 as Mul>::Output

impl Mul<&isize> for &isize

type Output = <isize as Mul>::Output

impl Mul<&isize> for isize

type Output = <isize as Mul>::Output

impl Mul<&u8> for &u8

type Output = <u8 as Mul>::Output

impl Mul<&u8> for u8

type Output = <u8 as Mul>::Output

impl Mul<&u16> for &u16

type Output = <u16 as Mul>::Output

impl Mul<&u16> for u16

type Output = <u16 as Mul>::Output

impl Mul<&u32> for &u32

type Output = <u32 as Mul>::Output

impl Mul<&u32> for u32

type Output = <u32 as Mul>::Output

impl Mul<&u64> for &u64

type Output = <u64 as Mul>::Output

impl Mul<&u64> for u64

type Output = <u64 as Mul>::Output

impl Mul<&u128> for &u128

type Output = <u128 as Mul>::Output

impl Mul<&u128> for u128

type Output = <u128 as Mul>::Output

impl Mul<&usize> for &usize

type Output = <usize as Mul>::Output

impl Mul<&usize> for usize

type Output = <usize as Mul>::Output

impl Mul<ATerm> for Z0

type Output = ATerm

impl Mul<B0> for UTerm

UTerm * B0 = UTerm

type Output = UTerm

impl Mul<B1> for UTerm

UTerm * B1 = UTerm

type Output = UTerm

impl Mul<BoxedMontyForm> for &BoxedMontyForm

type Output = BoxedMontyForm

impl Mul<Duration> for u32

type Output = Duration

impl Mul<Limb> for &Limb

type Output = Limb

impl Mul<Saturating<i8>> for &Saturating<i8>

type Output = <Saturating<i8> as Mul>::Output

impl Mul<Saturating<i16>> for &Saturating<i16>

type Output = <Saturating<i16> as Mul>::Output

impl Mul<Saturating<i32>> for &Saturating<i32>

type Output = <Saturating<i32> as Mul>::Output

impl Mul<Saturating<i64>> for &Saturating<i64>

type Output = <Saturating<i64> as Mul>::Output

impl Mul<Saturating<i128>> for &Saturating<i128>

type Output = <Saturating<i128> as Mul>::Output

impl Mul<Saturating<isize>> for &Saturating<isize>

type Output = <Saturating<isize> as Mul>::Output

impl Mul<Saturating<u8>> for &Saturating<u8>

type Output = <Saturating<u8> as Mul>::Output

impl Mul<Saturating<u16>> for &Saturating<u16>

type Output = <Saturating<u16> as Mul>::Output

impl Mul<Saturating<u32>> for &Saturating<u32>

type Output = <Saturating<u32> as Mul>::Output

impl Mul<Saturating<u64>> for &Saturating<u64>

type Output = <Saturating<u64> as Mul>::Output

impl Mul<Saturating<u128>> for &Saturating<u128>

type Output = <Saturating<u128> as Mul>::Output

impl Mul<Saturating<usize>> for &Saturating<usize>

type Output = <Saturating<usize> as Mul>::Output

impl Mul<Wrapping<i8>> for &core::num::wrapping::Wrapping<i8>

type Output = <Wrapping<i8> as Mul>::Output

impl Mul<Wrapping<i16>> for &core::num::wrapping::Wrapping<i16>

type Output = <Wrapping<i16> as Mul>::Output

impl Mul<Wrapping<i32>> for &core::num::wrapping::Wrapping<i32>

type Output = <Wrapping<i32> as Mul>::Output

impl Mul<Wrapping<i64>> for &core::num::wrapping::Wrapping<i64>

type Output = <Wrapping<i64> as Mul>::Output

impl Mul<Wrapping<i128>> for &core::num::wrapping::Wrapping<i128>

type Output = <Wrapping<i128> as Mul>::Output

impl Mul<Wrapping<isize>> for &core::num::wrapping::Wrapping<isize>

type Output = <Wrapping<isize> as Mul>::Output

impl Mul<Wrapping<u8>> for &core::num::wrapping::Wrapping<u8>

type Output = <Wrapping<u8> as Mul>::Output

impl Mul<Wrapping<u16>> for &core::num::wrapping::Wrapping<u16>

type Output = <Wrapping<u16> as Mul>::Output

impl Mul<Wrapping<u32>> for &core::num::wrapping::Wrapping<u32>

type Output = <Wrapping<u32> as Mul>::Output

impl Mul<Wrapping<u64>> for &core::num::wrapping::Wrapping<u64>

type Output = <Wrapping<u64> as Mul>::Output

impl Mul<Wrapping<u128>> for &core::num::wrapping::Wrapping<u128>

type Output = <Wrapping<u128> as Mul>::Output

impl Mul<Wrapping<usize>> for &core::num::wrapping::Wrapping<usize>

type Output = <Wrapping<usize> as Mul>::Output

impl Mul<f16> for &f16

type Output = <f16 as Mul>::Output

impl Mul<f32> for &f32

type Output = <f32 as Mul>::Output

impl Mul<f64> for &f64

type Output = <f64 as Mul>::Output

impl Mul<f128> for &f128

type Output = <f128 as Mul>::Output

impl Mul<i8> for &i8

type Output = <i8 as Mul>::Output

impl Mul<i16> for &i16

type Output = <i16 as Mul>::Output

impl Mul<i32> for &i32

type Output = <i32 as Mul>::Output

impl Mul<i64> for &i64

type Output = <i64 as Mul>::Output

impl Mul<i128> for &i128

type Output = <i128 as Mul>::Output

impl Mul<isize> for &isize

type Output = <isize as Mul>::Output

impl Mul<u8> for &u8

type Output = <u8 as Mul>::Output

impl Mul<u16> for &u16

type Output = <u16 as Mul>::Output

impl Mul<u32> for &u32

type Output = <u32 as Mul>::Output

impl Mul<u32> for Duration

type Output = Duration

impl Mul<u64> for &u64

type Output = <u64 as Mul>::Output

impl Mul<u128> for &u128

type Output = <u128 as Mul>::Output

impl Mul<usize> for &usize

type Output = <usize as Mul>::Output

impl<'lhs, 'rhs, T, const N: usize> Mul<&'rhs Simd<T, N>> for &'lhs Simd<T, N>

where T: SimdElement, Simd<T, N>: Mul<Output = Simd<T, N>>,

type Output = Simd<T, N>

impl<I> Mul<I> for Z0

where I: Integer,

Z0 * I = Z0

type Output = Z0

impl<MOD: ConstMontyParams<LIMBS>, const LIMBS: usize> Mul for ConstMontyForm<MOD, LIMBS>

type Output = ConstMontyForm<MOD, LIMBS>

impl<MOD: ConstMontyParams<LIMBS>, const LIMBS: usize> Mul<&ConstMontyForm<MOD, LIMBS>> for &ConstMontyForm<MOD, LIMBS>

type Output = ConstMontyForm<MOD, LIMBS>

impl<MOD: ConstMontyParams<LIMBS>, const LIMBS: usize> Mul<&ConstMontyForm<MOD, LIMBS>> for ConstMontyForm<MOD, LIMBS>

type Output = ConstMontyForm<MOD, LIMBS>

impl<MOD: ConstMontyParams<LIMBS>, const LIMBS: usize> Mul<ConstMontyForm<MOD, LIMBS>> for &ConstMontyForm<MOD, LIMBS>

type Output = ConstMontyForm<MOD, LIMBS>

impl<Rhs: AsRef<UintRef>> Mul<Rhs> for &BoxedUint

type Output = BoxedUint

impl<Rhs: AsRef<UintRef>> Mul<Rhs> for BoxedUint

type Output = BoxedUint

impl<Rhs> Mul<Rhs> for ATerm

type Output = ATerm

impl<T, const N: usize> Mul<&Simd<T, N>> for Simd<T, N>

where T: SimdElement, Simd<T, N>: Mul<Output = Simd<T, N>>,

type Output = Simd<T, N>

impl<T, const N: usize> Mul<Simd<T, N>> for &Simd<T, N>

where T: SimdElement, Simd<T, N>: Mul<Output = Simd<T, N>>,

type Output = Simd<T, N>

impl<T: WrappingMul> Mul for crypto_bigint::Wrapping<T>

type Output = Wrapping<T>

impl<T: WrappingMul> Mul<&Wrapping<T>> for &crypto_bigint::Wrapping<T>

type Output = Wrapping<T>

impl<T: WrappingMul> Mul<&Wrapping<T>> for crypto_bigint::Wrapping<T>

type Output = Wrapping<T>

impl<T: WrappingMul> Mul<Wrapping<T>> for &crypto_bigint::Wrapping<T>

type Output = Wrapping<T>

impl<T> Mul for Checked<T>

where T: CheckedMul + CtSelect + Default,

type Output = Checked<T>

impl<T> Mul for NonZero<T>

where T: Mul<T, Output = T>,

Any non-zero integer multiplied by another non-zero integer is definitionally non-zero.

type Output = NonZero<T>

impl<T> Mul for Odd<T>

where T: Mul<T, Output = T>,

Any odd integer multiplied by another odd integer is definitionally odd.

type Output = Odd<T>

impl<T> Mul<&Checked<T>> for &Checked<T>

where T: CheckedMul + CtSelect + Default,

type Output = Checked<T>

impl<T> Mul<&Checked<T>> for Checked<T>

where T: CheckedMul + CtSelect + Default,

type Output = Checked<T>

impl<T> Mul<Checked<T>> for &Checked<T>

where T: CheckedMul + CtSelect + Default,

type Output = Checked<T>

impl<U, B> Mul<B0> for UInt<U, B>

where U: Unsigned, B: Bit,

UInt * B0 = UTerm

type Output = UTerm

impl<U, B> Mul<B1> for UInt<U, B>

where U: Unsigned, B: Bit,

UInt * B1 = UInt

type Output = UInt<U, B>

impl<U, B> Mul<UTerm> for UInt<U, B>

where U: Unsigned, B: Bit,

UInt<U, B> * UTerm = UTerm

type Output = UTerm

impl<U> Mul<ATerm> for NInt<U>

where U: Unsigned + NonZero,

type Output = ATerm

impl<U> Mul<ATerm> for PInt<U>

where U: Unsigned + NonZero,

type Output = ATerm

impl<U> Mul<U> for UTerm

where U: Unsigned,

UTerm * U = UTerm

type Output = UTerm

impl<U> Mul<Z0> for NInt<U>

where U: Unsigned + NonZero,

N * Z0 = Z0

type Output = Z0

impl<U> Mul<Z0> for PInt<U>

where U: Unsigned + NonZero,

P * Z0 = Z0

type Output = Z0

impl<Ul, B, Ur> Mul<UInt<Ur, B>> for UInt<Ul, B0>

where Ul: Unsigned + Mul<UInt<Ur, B>>, B: Bit, Ur: Unsigned,

UInt<Ul, B0> * UInt<Ur, B> = UInt<(Ul * UInt<Ur, B>), B0>

type Output = UInt<<Ul as Mul<UInt<Ur, B>>>::Output, B0>

impl<Ul, B, Ur> Mul<UInt<Ur, B>> for UInt<Ul, B1>

where Ul: Unsigned + Mul<UInt<Ur, B>>, B: Bit, Ur: Unsigned, UInt<<Ul as Mul<UInt<Ur, B>>>::Output, B0>: Add<UInt<Ur, B>>,

UInt<Ul, B1> * UInt<Ur, B> = UInt<(Ul * UInt<Ur, B>), B0> + UInt<Ur, B>

type Output = <UInt<<Ul as Mul<UInt<Ur, B>>>::Output, B0> as Add<UInt<Ur, B>>>::Output

impl<Ul, Ur> Mul<NInt<Ur>> for NInt<Ul>

where Ul: Unsigned + NonZero + Mul<Ur>, Ur: Unsigned + NonZero, <Ul as Mul<Ur>>::Output: Unsigned + NonZero,

N(Ul) * N(Ur) = P(Ul * Ur)

type Output = PInt<<Ul as Mul<Ur>>::Output>

impl<Ul, Ur> Mul<NInt<Ur>> for PInt<Ul>

where Ul: Unsigned + NonZero + Mul<Ur>, Ur: Unsigned + NonZero, <Ul as Mul<Ur>>::Output: Unsigned + NonZero,

P(Ul) * N(Ur) = N(Ul * Ur)

type Output = NInt<<Ul as Mul<Ur>>::Output>

impl<Ul, Ur> Mul<PInt<Ur>> for NInt<Ul>

where Ul: Unsigned + NonZero + Mul<Ur>, Ur: Unsigned + NonZero, <Ul as Mul<Ur>>::Output: Unsigned + NonZero,

N(Ul) * P(Ur) = N(Ul * Ur)

type Output = NInt<<Ul as Mul<Ur>>::Output>

impl<Ul, Ur> Mul<PInt<Ur>> for PInt<Ul>

where Ul: Unsigned + NonZero + Mul<Ur>, Ur: Unsigned + NonZero, <Ul as Mul<Ur>>::Output: Unsigned + NonZero,

P(Ul) * P(Ur) = P(Ul * Ur)

type Output = PInt<<Ul as Mul<Ur>>::Output>

impl<V, A, Rhs> Mul<Rhs> for TArr<V, A>

where V: Mul<Rhs>, A: Mul<Rhs>, Rhs: Copy,

type Output = TArr<<V as Mul<Rhs>>::Output, <A as Mul<Rhs>>::Output>

impl<V, A, U> Mul<TArr<V, A>> for NInt<U>

where U: Unsigned + NonZero, NInt<U>: Mul<A> + Mul<V>,

type Output = TArr<<NInt<U> as Mul<V>>::Output, <NInt<U> as Mul<A>>::Output>

impl<V, A, U> Mul<TArr<V, A>> for PInt<U>

where U: Unsigned + NonZero, PInt<U>: Mul<A> + Mul<V>,

type Output = TArr<<PInt<U> as Mul<V>>::Output, <PInt<U> as Mul<A>>::Output>

impl<V, A> Mul<TArr<V, A>> for Z0

where Z0: Mul<A>,

type Output = TArr<Z0, <Z0 as Mul<A>>::Output>

impl<const LIMBS: usize, const RHS_LIMBS: usize> Mul<&Int<RHS_LIMBS>> for &Int<LIMBS>

type Output = Int<LIMBS>

impl<const LIMBS: usize, const RHS_LIMBS: usize> Mul<&Int<RHS_LIMBS>> for Int<LIMBS>

type Output = Int<LIMBS>

impl<const LIMBS: usize, const RHS_LIMBS: usize> Mul<&Uint<RHS_LIMBS>> for &Int<LIMBS>

type Output = Int<LIMBS>

impl<const LIMBS: usize, const RHS_LIMBS: usize> Mul<&Uint<RHS_LIMBS>> for &Uint<LIMBS>

type Output = Uint<LIMBS>

impl<const LIMBS: usize, const RHS_LIMBS: usize> Mul<&Uint<RHS_LIMBS>> for Int<LIMBS>

type Output = Int<LIMBS>

impl<const LIMBS: usize, const RHS_LIMBS: usize> Mul<&Uint<RHS_LIMBS>> for Uint<LIMBS>

type Output = Uint<LIMBS>

impl<const LIMBS: usize, const RHS_LIMBS: usize> Mul<Int<RHS_LIMBS>> for &Int<LIMBS>

type Output = Int<LIMBS>

impl<const LIMBS: usize, const RHS_LIMBS: usize> Mul<Int<RHS_LIMBS>> for Int<LIMBS>

type Output = Int<LIMBS>

impl<const LIMBS: usize, const RHS_LIMBS: usize> Mul<Uint<RHS_LIMBS>> for &Int<LIMBS>

type Output = Int<LIMBS>

impl<const LIMBS: usize, const RHS_LIMBS: usize> Mul<Uint<RHS_LIMBS>> for &Uint<LIMBS>

type Output = Uint<LIMBS>

impl<const LIMBS: usize, const RHS_LIMBS: usize> Mul<Uint<RHS_LIMBS>> for Int<LIMBS>

type Output = Int<LIMBS>

impl<const LIMBS: usize, const RHS_LIMBS: usize> Mul<Uint<RHS_LIMBS>> for Uint<LIMBS>

type Output = Uint<LIMBS>

impl<const LIMBS: usize> Mul for FixedMontyForm<LIMBS>

type Output = FixedMontyForm<LIMBS>

impl<const LIMBS: usize> Mul<&FixedMontyForm<LIMBS>> for &FixedMontyForm<LIMBS>

type Output = FixedMontyForm<LIMBS>

impl<const LIMBS: usize> Mul<&FixedMontyForm<LIMBS>> for FixedMontyForm<LIMBS>

type Output = FixedMontyForm<LIMBS>

impl<const LIMBS: usize> Mul<FixedMontyForm<LIMBS>> for &FixedMontyForm<LIMBS>

type Output = FixedMontyForm<LIMBS>

impl<const N: usize> Mul for Simd<f16, N>

where f16: SimdElement,

type Output = Simd<f16, N>

impl<const N: usize> Mul for Simd<f32, N>

where f32: SimdElement,

type Output = Simd<f32, N>

impl<const N: usize> Mul for Simd<f64, N>

where f64: SimdElement,

type Output = Simd<f64, N>

impl<const N: usize> Mul for Simd<i8, N>

where i8: SimdElement,

type Output = Simd<i8, N>

impl<const N: usize> Mul for Simd<i16, N>

where i16: SimdElement,

type Output = Simd<i16, N>

impl<const N: usize> Mul for Simd<i32, N>

where i32: SimdElement,

type Output = Simd<i32, N>

impl<const N: usize> Mul for Simd<i64, N>

where i64: SimdElement,

type Output = Simd<i64, N>

impl<const N: usize> Mul for Simd<isize, N>

where isize: SimdElement,

type Output = Simd<isize, N>

impl<const N: usize> Mul for Simd<u8, N>

where u8: SimdElement,

type Output = Simd<u8, N>

impl<const N: usize> Mul for Simd<u16, N>

where u16: SimdElement,

type Output = Simd<u16, N>

impl<const N: usize> Mul for Simd<u32, N>

where u32: SimdElement,

type Output = Simd<u32, N>

impl<const N: usize> Mul for Simd<u64, N>

where u64: SimdElement,

type Output = Simd<u64, N>

impl<const N: usize> Mul for Simd<usize, N>

where usize: SimdElement,

type Output = Simd<usize, N>