----------------------------------------------------------------------
-- node Neg, "toggles" its boolean input 
----------------------------------------------------------------------

node Neg(X: bool) returns(Y: bool);

let
   Y = not X;
tel