----------------------------------------------------------------------
-- node Adder
-- note we can return more than one value
----------------------------------------------------------------------
node Adder (A,B,Cin : bool) returns (S,Cout : bool);
let
  S = A xor B xor Cin;
  Cout = (A and B) or
         (B and Cin) or
         (A and Cin);
tel