deferred class interface ES_MULTIPLEXER
   -- 
   --  Common abstraction for an applications singular event loop and
   --  the container of dispatch targets.
   -- 

feature(s) from ES_MULTIPLEXER
   --  Public Accessors

   count: INTEGER
      --  Number of controlled devices

invariant

    non_negative: count >= 0;

end of deferred ES_MULTIPLEXER