CristalCaveGem » LustreC

#open "dummy_lib"

const PI = 3;

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