egraphs-good / eggcc

MIT License
51 stars 11 forks source link

Add tuple-ith and tuple-length #367

Closed clyben closed 8 months ago

clyben commented 8 months ago

Use type information of tuple to get tuple actual length, then get the i-th of a Concat by i-th of sub-tuples.