Trait PrivateRem 

pub trait PrivateRem<URem, Divisor> {
    type Output;

    // Required method
    fn private_rem(self, _: URem, _: Divisor) -> Self::Output;
}

Required Associated Types

type Output

Required Methods

fn private_rem(self, _: URem, _: Divisor) -> Self::Output

Implementors

impl<Ul, Ur, U, B> PrivateRem<UInt<U, B>, NInt<Ur>> for NInt<Ul>

where Ul: Unsigned + NonZero, Ur: Unsigned + NonZero, U: Unsigned, B: Bit,

type Output = NInt<UInt<U, B>>

impl<Ul, Ur, U, B> PrivateRem<UInt<U, B>, NInt<Ur>> for PInt<Ul>

where Ul: Unsigned + NonZero, Ur: Unsigned + NonZero, U: Unsigned, B: Bit,

type Output = PInt<UInt<U, B>>

impl<Ul, Ur, U, B> PrivateRem<UInt<U, B>, PInt<Ur>> for NInt<Ul>

where Ul: Unsigned + NonZero, Ur: Unsigned + NonZero, U: Unsigned, B: Bit,

type Output = NInt<UInt<U, B>>

impl<Ul, Ur, U, B> PrivateRem<UInt<U, B>, PInt<Ur>> for PInt<Ul>

where Ul: Unsigned + NonZero, Ur: Unsigned + NonZero, U: Unsigned, B: Bit,

type Output = PInt<UInt<U, B>>

impl<Ul: Unsigned + NonZero, Ur: Unsigned + NonZero> PrivateRem<UTerm, NInt<Ur>> for NInt<Ul>

type Output = Z0

impl<Ul: Unsigned + NonZero, Ur: Unsigned + NonZero> PrivateRem<UTerm, NInt<Ur>> for PInt<Ul>

type Output = Z0

impl<Ul: Unsigned + NonZero, Ur: Unsigned + NonZero> PrivateRem<UTerm, PInt<Ur>> for NInt<Ul>

type Output = Z0

impl<Ul: Unsigned + NonZero, Ur: Unsigned + NonZero> PrivateRem<UTerm, PInt<Ur>> for PInt<Ul>

type Output = Z0