lustrec / test / src / arrays_arnaud / generic3.lus @ b3381ae8
History  View  Annotate  Download (271 Bytes)
1 
#open "dummy_lib" 

2  
3 
const PI = 3; 
4  
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 