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; }
type Error: Debug
fn merge(self, other: Self) -> Self
fn make(expr: Expr<L, &Self>) -> Self
impl<L: Language> Metadata<L> for ()
type Error = Infallible
fn merge(self, _other: ())
fn make(_expr: Expr<L, &()>)