#9[1] → #4 · DATA#9[2] → #25 · DATA#21[1] → #9 · DATA#25[1] → #9 · DATA#25[2] → #24 · DATAStart #2#2 Start
Type not computed
arg #4/1#4 arg
Projection 1 of #2
Type not computed
[0] → #2 DATAφ_arg #9#9 φ_arg
Type not computed
[0] → — ASSOC
[1] → #4 DATA
[2] → #25 DATA012Return #21#21 Return
Type not computed
[0] → — CTRL
[1] → #9 DATA01#2 #24#24 #2
Type not computed
+ #25#25 +
Type not computed
[0] → — DATA
[1] → #9 DATA
[2] → #24 DATA012