Type Definition type_level_logic::strong::balanced::LteCmp2

type LteCmp2<A: Int, B: Int, C: IntPair, D: IntPair> = <A as IntLteCmp2<B, C, D>>::Output;