class ELT_EQ{ETP} |
---|
**** | Provides the equality comparison function for elements of type ETP. Tries to use the user provided equality and falls back on the system default equality if the user has not provided an appropriate method |
elt_eq(e1,e2:ETP):BOOL |
---|
**** | The equality relation uses the user defined is_eq routine, if ETP < $IS_EQ. Otherwise it uses the system defined equality |