[−][src]Trait egg::Language
Trait defines a Language whose terms will be in the EGraph
.
Typically, you'll want your language to implement FromStr
and
Display
so parsing and printing works.
Check out the define_language!
macro for an easy way to create
a Language
.