[l0b0]

Thanks for the explanation, although I now have more questions :

- Why the "graph" aspect of "e-graphs", when it seems all of the ones I've seen in your article and on Wikipedia have only a single edge? Why not just "equivalences"?

- The Wikipedia page doesn't seem to explain the actual data structure. If it's a data structure, how is the actual data laid out in a series of bits? Or is "data structure" on that page used in a way which is meant to make sense to mathematicians rather than computer scientists?

- How does this relate to existing refactoring tools? Is this a new approach? Or is it what IDEs and language servers already use?