#19[1] → #14 · DATA#19[2] → #6 · DATA#20[1] → #4 · DATA#20[2] → #19 · DATA#21[1] → #20 · 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
#3 #14#14 #3
Type not computed
φ_a #19#19 φ_a
Type not computed
[0] → — ASSOC
[1] → #14 DATA
[2] → #6 DATA012== #20#20 ==
Type not computed
[0] → — DATA
[1] → #4 DATA
[2] → #19 DATA012Return #21#21 Return
Type not computed
[0] → — CTRL
[1] → #20 DATA01