Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / test / src / arrays_arnaud / generic2.lus @ b3381ae8

History | View | Annotate | Download (192 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)^2;
8
    t;
9
let
10
  t = imp2(PI*p, x);
11
  z = [t, t];
12
  y = imp1(p, (pre z)[1]);
13
tel
14