Type Definition type_level_logic::strong::balanced::LteCmp

type LteCmp<A: Int, B: Int, C: Int, D: Int> = <A as IntLteCmp<B, C, D>>::Output;