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