Fuzion • Library Modules • base • tuple • lteq

tuple.type.lteq

(a tuple.this.type, b tuple.this.type)

[Redefinition of property.partially_orderable.type.lteq]

A total order between two tuples `a` and `b` is defined by the total order of
their first elements. If the first `i` element pairs are equal, the order is defined by
the `i+1`th element pair.

This will result in a runtime `panic` in case any element type is not orderable.

redefines:

property.partially_orderable.type.lteq

0.095dev (2026-02-20 12:42:29 GIT hash dbcc3e4b3d2a59f66230b482cff8f0b018178d77 built by fridi@fzen)

last changed: 2026-02-20