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