Trait oberon::inner_types::elliptic_curve::bigint::CheckedMul

pub trait CheckedMul<Rhs = Self>: Sized {
    type Output;

    // Required method
    fn checked_mul(&self, rhs: Rhs) -> CtOption<Self>;
}

Checked multiplication.

Required Associated Types

type Output

Output type.

Required Methods

fn checked_mul(&self, rhs: Rhs) -> CtOption<Self>

Perform checked multiplication, returning a CtOption which is_some only if the operation did not overflow.

Implementors

impl CheckedMul<Limb> for Limb

type Output = Limb

impl<const LIMBS: usize> CheckedMul<&Uint<LIMBS>> for Uint<LIMBS>

type Output = Uint<LIMBS>