History | View | Annotate | Download (165 Bytes)
node test (x:bool; d:bool) returns (a:int;b:int)
var e,f : bool;
let
a = 1 when d;
b = if x = d then 1 else 0;
e = true fby e;
f = if x then d else e;
tel