Up Top       Prev REVERSE_COLLECTION_SORTER      Next SCOOP_UTILITIES



expanded class interface SAFE_EQUAL[E]
   --
   -- The goal of this class is to share the definition of feature 
   -- safe_equal. Feature safe_equal compares two arguments of type E, 
   -- by calling is_equal only and only if both arguments have the 
   -- same_dynamic_type.
   --



end of expanded SAFE_EQUAL[E]




All classes inherit from ANY, ANY inherits from PLATFORM and PLATFORM inherits from GENERAL.



Generated by short -html_deb on 31 March 2005.