Fuzion Logo
flang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.

equality

🌌Type_STATIC.equality

§  equality(a STATIC_THIS_TYPE, b STATIC_THIS_TYPE)
 => 
bool
:
Object 

equality implements the default equality relation for values of this type.

This relation must be

- reflexive (equality a b),
- symmetric (equality a b = equality b a), and
- transitive ((equality a b && equality b c) : equality a c).

result is true iff 'a' is considered to represent the same abstract value
as 'b'.