Equations

[wolkenmachine]

Is is possible to define a language that includes an equality symbol?
For example, could I add expressions like this: (= a (+ b c)) ,
or have rewrite rules like this: (= ?a (+ ?b ?c))" => "(= ?b (- ?a ?c))

It seems like it should be possible in principle, perhaps by merging e-classes manually? But, I haven't been able to figure out from the docs how to go about doing this. Thanks for your help!

[mwillsey]

Do you mean that the equality symbol should be interpreted as the e-graphs notion of equality? Check out the multi-patterns feature docs example. This will be much better supported in an upcoming version of egg.... stay tuned!!

[wolkenmachine]

Great, multi-patterns is exactly what I was looking for. Thank you!