Trait type_level_logic::strong::balanced::Int2P1

pub trait Int2P1: IntPair {
    type Output: Int;
}

Project the first value in an IntPair.

Associated Types

type Output: Int

Implementors

• impl<A: Int, B: Int> Int2P1 for Int2<A, B>