Fuzion • Library Modules • base • switch • type.lteq

switch.type.lteq

(x switch.this.type, y switch.this.type)

[Redefinition of property.partially_orderable.type.lteq]

defines a generic total order for switch

- switches wrapping the same type use the lteq
implementation of the corresponding type
- switches wrapping an A are considered lower
than switches wrapping a B

redefines:

property.partially_orderable.type.lteq

0.099dev (GIT hash 9b94ad4b4a4bff2bf2be7d77be2c6e1fd7683c4d)

last changed: 2026-09-23