---------------------------------------------------------------------- -- node And -- Boolean operator ---------------------------------------------------------------------- node And(A: bool; B:bool) returns (C: bool); let C = A and B; tel