Type Definition DimProd
heron::rapier_plugin::rapier::parry::na::base::dimension
type DimProd<D1, D2> = <D1 as DimMul<D2>>::Output;