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



Type_STATIC -- direct parent feature of all type features

type features 'f.type' are declared implicitly for every feature f.
Type features do not contain state, they are unit types.

All type features inherit directly from this 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'.