Project

General

Profile

Download (174 Bytes) Statistics
| Branch: | Tag: | Revision:
1

    
2
node clocks1 (x:bool; d:bool clock) returns (a:int;b:int)
3
var e,f : bool;
4
let
5
  a = 1 when d;
6
  b = if x = d then 1 else 0;
7
  e = true fby e;
8
  f = if x then d else e;
9
tel
10

    
(2-2/26)