pub trait NegMod {
    type Output;

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

Compute -self mod p.

Required Associated Types§

source

type Output

Output type.

Required Methods§

source

fn neg_mod(&self, p: &Self) -> Self::Output

Compute -self mod p.

Implementors§

source§

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

§

type Output = UInt<LIMBS>