----------------------------------------------------------------------
-- node StableSwitch,
--         output S is initially false and
--         raises (false to true) if On is true, and 
--         falls (true to false) if Off is true
----------------------------------------------------------------------

node StableSwitch( On, Off : bool ) returns ( S : bool );

let
  S = false -> if pre S then not Off else On;
tel