Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / test / src / arrays_arnaud / generic2.lus @ 22fe1c93

History | View | Annotate | Download (299 Bytes)

1
const PI = 3;
2

    
3
imported node imp1(const m:int; a:int^(PI*m)) returns (c:int^m);
4

    
5
imported node imp2(const n:int; a:int^n) returns (d:int^n);
6
    
7
node base(const p:int; x:int^(PI*p)) returns (y:int^p)
8
var z:int^(PI*p)^2;
9
    t;
10
let
11
  t = imp2(PI*p, x);
12
  z = [t, t];
13
  y = imp1(p, (pre z)[1]);
14
tel
15