Skip to content

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

Draft
sgraf812 wants to merge 6 commits into
masterfrom
sg/le-level-collapse
Draft

feat: generalize LE, LT and the Std order-predicate classes to Sort u#14737
sgraf812 wants to merge 6 commits into
masterfrom
sg/le-level-collapse

refactor: remove the `LE` generalization scaffolding

88d74fd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar