Type Definition DimNameQuot
lnkit::prelude
type DimNameQuot<D1, D2> = <D1 as DimNameDiv<D2>>::Output;