Project

General

Profile

Download (192 Bytes) Statistics
| Branch: | Tag: | Revision:
1 accbb04d xthirioux
#open "dummy_lib"
2 0cbf0839 ploc
3 accbb04d xthirioux
const PI = 3;
4 0cbf0839 ploc
5
    
6
node base(const p:int; x:int^(PI*p)) returns (y:int^p)
7
var z:int^(PI*p)^2;
8
    t;
9
let
10
  t = imp2(PI*p, x);
11
  z = [t, t];
12
  y = imp1(p, (pre z)[1]);
13
tel