Type Definition DimQuot
lnkit::prelude::base::dimension
type DimQuot<D1, D2> = <D1 as DimDiv<D2>>::Output;