egraphs: Canonicalize loose inequalities to strict inequalities (2nd attempt)#9040

Open

Kmeakin wants to merge 2 commits intobytecodealliance:mainfrom Kmeakin:km/loose-inequalities-to-strict-inequalities-v2

+743-120

Commits on Aug 5, 2024