egg (e-graphs good) is a Rust e-graph library optimized for equality saturation, providing tools for...