> no one uses them in real systems because of that. Cranelift is a compiler backend that uses egraphs for its optimization phase. It's already used in producti

> no one uses them in real systems because of that. Cranelift is a compiler backend that uses egraphs for its optimization phase. It's already used in production in Web Assembly engines like Wasmtime.