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)^2;

    t;

let

  t = imp2(PI*p, x);

  z = [t, t];

  y = imp1(p, (pre z)[1]);

tel