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