node clock(a, b,  c: bool) returns (x: bool when a; y: bool when a);

let 
  -- XXX should we accept that ?
  (x, y) = toto((b, c) when a);

tel


extern node toto(u: bool; v: bool) returns (x: bool; y: bool);