egraphs-good / eggcc

MIT License
42 stars 8 forks source link

Add If to schema #303

Closed oflatt closed 7 months ago

oflatt commented 7 months ago

This PR adds If so that we can differentiate it from Switch. Now when the predicate is a boolean, If must be used.