Editor |
Visualization |
||||
|
Internal representation detailsTemplatized │ provides part_resolution SB(≥0) 1/mm │ requires time_per_unit_volume SB(≥0) s/mm³ │ │ requires force SB(≥0) N │ │ requires mass SB(≥0) kg │ │ requires budget SB(≥0) $ └ DP_True SB(≥0) 1/mm ⇸ WU ⟨s/mm³,N,kg,$⟩ val = * > () └ Π<4> ├ time_per_unit_volume: SB(≥0) ├ force: SB(≥0) ├ mass: SB(≥0) └ budget: SB(≥0) true |