CristalCaveGem » LustreC

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