Type Definition na::base::DimProd

type DimProd<D1, D2> = <D1 as DimMul<D2>>::Output;