Type Definition typenum::operator_aliases::Sub1

type Sub1<A> = <A as Sub<B1>>::Output;

Alias to make it easy to subtract 1: Sub1<A> = <A as Sub<B1>>::Output