Project

General

Profile

Download (298 Bytes) Statistics
| Branch: | Tag: | Revision:
1
node accu(i: int) returns (o: int);
2
let
3
  o = 0 -> i + pre o;
4
tel;
5
  
6
node f(reset: bool) returns (out: int);
7
var cpt: int;
8
let
9
  cpt, out = if reset then (0, 0) else ((0 -> 1 + pre cpt), accu(cpt));
10
--  cpt = if reset then 0 else (0 -> 1 + pre cpt);
11
--  out = if reset then 0 else accu(cpt);
12
tel;
(2-2/2)