Trait oberon::inner_types::elliptic_curve::bigint::prelude::SubMod

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

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

Compute self - rhs mod p.

Required Associated Types

type Output

Output type.

Required Methods

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

Compute self - rhs mod p.

Assumes self and rhs are < p.

Implementors

impl<const LIMBS: usize> SubMod<Uint<LIMBS>> for Uint<LIMBS>

type Output = Uint<LIMBS>