EGraph
s (and almost everything else in this crate) are
parameterized over the language given by the user (by implementing
the Language
trait).
A typical usage would either implement Language
or use the
provided TestLang
. From there, you can use the functionality
from the ParsableLanguage
trait module to create expressions
and add them to the EGraph.