Type Definition type_level_logic::strong::balanced::Int2First

type Int2First<A: IntPair> = <A as Int2P1>::Output;