class interface ES_MULTIPLEXER_ELEMENT
   -- 
   --  Used within ES_STANDALONE_MULTIPLEXER's internal data structures.
   -- 


end of ES_MULTIPLEXER_ELEMENT