Type Definition type_level_logic::strong::balanced::Int2Second

type Int2Second<A: IntPair> = <A as Int2P2>::Output;