Project

General

Profile

Download (271 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);
8
let
9
  z = imp2(PI*p, x);
10
  y = imp1(p, z);
11
tel
12
13
node top(a:int) returns (y:int)
14
var x;
15
let
16
  x = [a,1,2,3,4,5,6,7,8,9,10,11,12,13,14];
17
  y = base (5, x)[0];
18
tel