Type Definition DimNameSum
lnkit::prelude::base
type DimNameSum<D1, D2> = <D1 as DimNameAdd<D2>>::Output;