Function expr_deep_equal

pub fn expr_deep_equal(lhs: impl IntoExpr, rhs: impl IntoExpr) -> Result<bool>

Whether lhs and rhs are the same expression tree, without remapping variables: use structural equality for that (prim.expr_deep_equal).