Type Definition type_level_logic::strong::ternary::RevInternal

type RevInternal<A: Nat, B: Nat> = <A as NatRevInternal<B>>::Output;