----------------------------------------------------------------------
-- node And
-- Boolean operator
----------------------------------------------------------------------

node And(A: bool; B:bool) returns (C: bool);

let
   C = A and B;
tel