您即将离开知乎，请注意您的账号和财产安全。
https://docs.rs/egg/0.9.2/egg/tutorials/_01_background/index.html#equality-saturation
