→x = x * y
[edição não verificada] | [edição não verificada] |
==x = x * y==
t0[-]t1[-]
x[-t0+x]
t0[-
y[-x+t1+y]
t1[-y+t1]
t0]x
|
[edição não verificada] | [edição não verificada] |
==x = x * y==
t0[-]t1[-]
x[-t0+x]
t0[-
y[-x+t1+y]
t1[-y+t1]
t0]x
|
edição