Type Definition type_level_logic::strong::balanced::Cmp

type Cmp<A: Int, B: Int, C: Int, D: Int, E: Int> = <A as IntCmp<B, C, D, E>>::Output;