Fuzion • Library Modules • base • property • equatable • type.equality

property.equatable.type.equality

(a property.equatable.this.type, b property.equatable.this.type)

[Abstract feature]

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

0.095dev (GIT hash 4887509afd82710cf491d0e416c0f1b088cc45db)

last changed: 2026-04-16