Type Definition DimNameProd
Other items innyx_space::dimensions::dimension
type DimNameProd<D1, D2> = <D1 as DimNameMul<D2>>::Output;