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