Tree unique ast builder for rust

egraphs-good / eggcc

MIT License

51 stars 11 forks source link

Tree unique ast builder for rust #280

Closed oflatt closed 9 months ago

oflatt commented 9 months ago

This PR adds a convenient API for constructing tree encoded terms in rust. It removes Box boilerplate and ids. This will help with translation and testing in the future.