lustrec/test/src/arrays_arnaud/generic3.lus @ c518d082
| 1 | accbb04d | xthirioux | #open "dummy_lib" |
|---|---|---|---|
| 2 | 0cbf0839 | ploc | |
| 3 | accbb04d | xthirioux | const PI = 3; |
| 4 | 0cbf0839 | ploc | |
| 5 | |||
| 6 | node base(const p:int; x:int^(PI*p)) returns (y:int^p) |
||
| 7 | var z:int^(PI*p); |
||
| 8 | let
|
||
| 9 | z = imp2(PI*p, x); |
||
| 10 | y = imp1(p, z); |
||
| 11 | tel
|
||
| 12 | |||
| 13 | node top(a:int) returns (y:int) |
||
| 14 | var x; |
||
| 15 | let
|
||
| 16 | x = [a,1,2,3,4,5,6,7,8,9,10,11,12,13,14]; |
||
| 17 | y = base (5, x)[0]; |
||
| 18 | tel
|