Type Definition diffgeom::typenum::Add1 []

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

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