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. |
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. |