☰
Type Definition DimProd
rin
::
math
::
dimension
[
−
]
[src]
Type Definition
rin
::
math
::
dimension
::
DimProd
type DimProd<D1, D2> = <D1 as
DimMul
<D2>>::
Output
;