feat: generalize `LE`, `LT` and the `Std` order-predicate classes to `Sort u` - #14737

Draft

sgraf812 wants to merge 6 commits into

sg/le-level-collapse

Commits on Aug 11, 2026

refactor: prepare metaprograms for generalizing `LE` and `LT` to `Sort u`
sgraf812
committed
e0ebf08
chore: trigger stage0 update
sgraf812
committed
5fa671a
chore: update stage0
sgraf812
committed
0f19d72
feat: generalize `LE`, `LT` and the `Std` order-predicate classes to `Sort u`
sgraf812
committed
9465533
fix: adjust the library to the `Sort u` order classes
sgraf812
committed
dd07446
refactor: remove the `LE` generalization scaffolding
sgraf812
committed
88d74fd