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]