CristalCaveGem » LustreC

const PI = 3;

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

imported node imp2(const n:int; a:int^n) returns (d:int^n);

node base(const p:int; x:int^(PI*p)) returns (y:int^p)

var z:int^(PI*p);

let

  z = imp2(PI*p, x);

  y = imp1(p, z);

tel

node top(a:int) returns (y:int)

var x;

let

  x = [a,1,2,3,4,5,6,7,8,9,10,11,12,13,14];

  y = base (5, x)[0];

tel