Trait type_level_logic::strong::balanced::IntLteCmp2

pub trait IntLteCmp2<B: Int, C: IntPair, D: IntPair>: Int {
    type Output: IntPair;
}

Associated Types

type Output: IntPair

Implementors

• impl<X: Int, Y: Int, LE: IntPair, G: IntPair> IntLteCmp2<Y, LE, G> for X where
    X: IntCmp2<Y, LE, LE, G>,