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

    // Required method
    fn add_mod(&self, rhs: &Rhs, p: &Self) -> Self::Output;
}
Expand description

Compute self + rhs mod p.

Required Associated Types§

source

type Output

Output type.

Required Methods§

source

fn add_mod(&self, rhs: &Rhs, p: &Self) -> Self::Output

Compute self + rhs mod p.

Assumes self and rhs are < p.

Implementors§

source§

impl<const LIMBS: usize> AddMod<UInt<LIMBS>> for UInt<LIMBS>

§

type Output = UInt<LIMBS>