History | View | Annotate | Download (192 Bytes)

#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