Editor |
Visualization |
||||
|
Internal representation detailsCompositeNDP │ provides f SB(≥0) │ requires r SB(≥10) │ 3 nodes, 2 edges │ connected rec: ✓ │ provided f ≤ _op provided by _plus equiv id │ _res required by _plus ≤ required r equiv id └ SimpleWrap │ provides _op SB(≥0) │ requires _res SB(≥10) └ DP_L_UME SB(≥0) ⇸ SB(≥10) 𝒇 + 10 ≤ 𝒓 M_C_WrapUnits dimensionless → dimensionless > M_A_Add1_Upper SB(≥0) → SB(≥10) x ⟼ x + 10 |