Trait Metadata
egg::egraph
pub trait Metadata<L: Language>: Sized + Debug { type Error: Debug; fn merge(&self, other: &Self) -> Self; fn make(expr: Expr<L, &Self>) -> Self; fn modify(_eclass: &mut EClass<L, Self>) { ... } }
type Error: Debug
fn merge(&self, other: &Self) -> Self
fn make(expr: Expr<L, &Self>) -> Self
fn modify(_eclass: &mut EClass<L, Self>)
impl<L: Language> Metadata<L> for ()
type Error = Infallible
fn merge(&self, _other: &())
fn make(_expr: Expr<L, &()>)