egg (cargo): An implementation of egraphs
Keywords: e-graphs