class ELT_EQ{ETP}
****

________This_class_provides_the_equality_comparison_function_for_elements
___of_type_ETP._If_no_user_methos_has_been_provided_then_a_default_system-
___defined_equality_is_used.


Flattened version is here



Public


Features
elt_eq(first, second : ETP) : BOOL
**** This predicate returns true if and only if the two arguments are equal. The equality relation uses the user defined is_eq routine, if the argument type is a subtype of $IS_EQ. Otherwise it uses the system
___defined_equality_routine_is_used.

The Sather Home Page