Type Definition typenum::operator_aliases::Add1

type Add1<A> = <A as Add<B1>>::Output;

Alias to make it easy to add 1: Add1<A> = <A as Add<B1>>::Output