/// Get an explanation for why an expression matches a pattern.
Get an explanation for why an expression matches a pattern.
Get an explanation for why an expression matches a pattern .
pub fn explain_matches(
        &mut self,
        left: &RecExpr<L>,
        right: &PatternAst<L>,
        subst: &Subst,
    ) -> Explanation<L> {
        self.egraph.explain_matches(left, right, subst)
    }
pub fn explain_matches ( & mut self , left : & RecExpr < L > , right : & PatternAst < L > , subst : & Subst , ) -> Explanation < L > { self . egraph . explain_matches ( left , right , subst ) }
Get an explanation for why an expression matches a pattern.
Get an explanation for why an expression matches a pattern .
&mut self
left
&RecExpr<L>
right
&PatternAst<L>
subst
&Subst