[][src]Trait egg::Language

pub trait Language: Debug + PartialEq + Eq + Hash + Clone + 'static { }

Trait defines a Language whose terms will be in the EGraph.

Typically, you'll want your language to implement FromStr as well. Check out the define_language! macro for an easy way to create a Language. define_language!: macro.define_language.html

Implementations on Foreign Types

impl Language for String[src]

impl Language for &'static str[src]

Loading content...

Implementors

Loading content...