#7[1] → #4 · DATA#7[2] → #6 · DATA#15[1] → #4 · DATA#15[2] → #14 · DATA#17[1] → #15 · DATA#17[2] → #7 · DATA#18[1] → #17 · DATAStart #2#2 Start
Type not computed
arg #4/1#4 arg
Projection 1 of #2
Type not computed
[0] → #2 DATA#2 #6#6 #2
Type not computed
== #7#7 ==
Type not computed
[0] → — DATA
[1] → #4 DATA
[2] → #6 DATA012#3 #14#14 #3
Type not computed
== #15#15 ==
Type not computed
[0] → — DATA
[1] → #4 DATA
[2] → #14 DATA012φ_a #17#17 φ_a
Type not computed
[0] → — ASSOC
[1] → #15 DATA
[2] → #7 DATA012Return #18#18 Return
Type not computed
[0] → — CTRL
[1] → #17 DATA01