Fuzion • Library Modules • http • http • request_method • type.equality

http.request_method.type.equality

(a http.request_method, b http.request_method)

[Redefinition of property.equatable.type.equality]

Comment of property.equatable.type.equality

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

redefines:

property.equatable.type.equality

0.098dev (GIT hash 24d3437cd83e0dc6a6eb392aaf98ddef3061900e)

last changed: 2026-07-14