lustrec/test/src/arrays_arnaud/access1.lus @ accbb04d
| 1 |
#open "dummy_lib" |
|---|---|
| 2 |
|
| 3 |
node access(tab : int^3^4) returns (o:int) |
| 4 |
var tab2,x; |
| 5 |
let
|
| 6 |
tab2 = [ 1, 2 ]; |
| 7 |
x = 1^2^3[1]; |
| 8 |
o = (tab[0][1]^2+test(pre o)+ tab2)[1]; |
| 9 |
tel
|