search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

[Tree unique] Refactor `BodyContains` to `IdContains` #299

Closed yihozhang closed 9 months ago

yihozhang commented 9 months ago

according to slack discussion