search

egraphs-good / egglog

egraphs + datalog!
https://egraphs-good.github.io/egglog/
MIT License
445 stars 51 forks source link

Add underscore as matching anything? #409

Open oflatt opened 2 months ago

oflatt commented 2 months ago

Should we change the semantics of the following rule:

(rule ((Add _ _))
         ((One)))

To match any two children?