Type Alias RevInternal

pub type RevInternal<A: Int, B: Int> = <A as IntRevInternal<B>>::Output;