Trait type_level_logic::strong::balanced::IntAbs

pub trait IntAbs: Int {
    type Output: Int;
}

Integer absolute value. Used as Abs<X> or <X as IntAbs>::Output.

Associated Types

type Output: Int

Implementors

• impl IntAbs for Term
• impl IntAbs for Undefined
• impl<X: Int> IntAbs for Zero<X> where
    Term: IntLteCmp<Zero<X>, Zero<X>, <Zero<X> as IntNeg>::Output>,
    Zero<X>: IntNeg, 
• impl<X: Int> IntAbs for Plus<X> where
    Term: IntLteCmp<Plus<X>, Plus<X>, <Plus<X> as IntNeg>::Output>,
    Plus<X>: IntNeg, 
• impl<X: Int> IntAbs for Minus<X> where
    Term: IntLteCmp<Minus<X>, Minus<X>, <Minus<X> as IntNeg>::Output>,
    Minus<X>: IntNeg,