Trait type_level_logic::strong::balanced::IntRem

pub trait IntRem<B: Int>: Int {
    type Output: Int;
}

Integer remainder. Used as Rem<X, Y> or <X as IntRem<Y>>::Output.

Associated Types

type Output: Int

Implementors

• impl IntRem<Term> for Term
• impl IntRem<Undefined> for Term
• impl IntRem<Term> for Undefined
• impl IntRem<Undefined> for Undefined
• impl<D: Int> IntRem<Zero<D>> for Term
• impl<D: Int> IntRem<Plus<D>> for Term
• impl<D: Int> IntRem<Minus<D>> for Term
• impl<N: Int, D: Int> IntRem<Zero<D>> for Zero<N> where
    <<Zero<N> as IntRev>::Output as IntDivInternal<Zero<D>, Int2<Term, Term>>>::Output: Int2P1,
    <Zero<N> as IntRev>::Output: IntDivInternal<Zero<D>, Int2<Term, Term>>,
    Zero<N>: IntRev, 
• impl<N: Int, D: Int> IntRem<Plus<D>> for Zero<N> where
    <<Zero<N> as IntRev>::Output as IntDivInternal<Plus<D>, Int2<Term, Term>>>::Output: Int2P1,
    <Zero<N> as IntRev>::Output: IntDivInternal<Plus<D>, Int2<Term, Term>>,
    Zero<N>: IntRev, 
• impl<N: Int, D: Int> IntRem<Minus<D>> for Zero<N> where
    <<Zero<N> as IntRev>::Output as IntDivInternal<Minus<D>, Int2<Term, Term>>>::Output: Int2P1,
    <Zero<N> as IntRev>::Output: IntDivInternal<Minus<D>, Int2<Term, Term>>,
    Zero<N>: IntRev, 
• impl<N: Int, D: Int> IntRem<Zero<D>> for Plus<N> where
    <<Plus<N> as IntRev>::Output as IntDivInternal<Zero<D>, Int2<Term, Term>>>::Output: Int2P1,
    <Plus<N> as IntRev>::Output: IntDivInternal<Zero<D>, Int2<Term, Term>>,
    Plus<N>: IntRev, 
• impl<N: Int, D: Int> IntRem<Plus<D>> for Plus<N> where
    <<Plus<N> as IntRev>::Output as IntDivInternal<Plus<D>, Int2<Term, Term>>>::Output: Int2P1,
    <Plus<N> as IntRev>::Output: IntDivInternal<Plus<D>, Int2<Term, Term>>,
    Plus<N>: IntRev, 
• impl<N: Int, D: Int> IntRem<Minus<D>> for Plus<N> where
    <<Plus<N> as IntRev>::Output as IntDivInternal<Minus<D>, Int2<Term, Term>>>::Output: Int2P1,
    <Plus<N> as IntRev>::Output: IntDivInternal<Minus<D>, Int2<Term, Term>>,
    Plus<N>: IntRev, 
• impl<N: Int, D: Int> IntRem<Zero<D>> for Minus<N> where
    <<Minus<N> as IntRev>::Output as IntDivInternal<Zero<D>, Int2<Term, Term>>>::Output: Int2P1,
    <Minus<N> as IntRev>::Output: IntDivInternal<Zero<D>, Int2<Term, Term>>,
    Minus<N>: IntRev, 
• impl<N: Int, D: Int> IntRem<Plus<D>> for Minus<N> where
    <<Minus<N> as IntRev>::Output as IntDivInternal<Plus<D>, Int2<Term, Term>>>::Output: Int2P1,
    <Minus<N> as IntRev>::Output: IntDivInternal<Plus<D>, Int2<Term, Term>>,
    Minus<N>: IntRev, 
• impl<N: Int, D: Int> IntRem<Minus<D>> for Minus<N> where
    <<Minus<N> as IntRev>::Output as IntDivInternal<Minus<D>, Int2<Term, Term>>>::Output: Int2P1,
    <Minus<N> as IntRev>::Output: IntDivInternal<Minus<D>, Int2<Term, Term>>,
    Minus<N>: IntRev,