pub fn try_visit_post<'a, F, E>(&'a self, f: &mut F) -> Result<(), E>
    where
        F: FnMut(&'a MirRelationExpr) -> Result<(), E>,
        E: From<RecursionLimitError>,
    {
        MirRelationExprVisitor::new().try_visit_post(self, f)
    }
/// Post-order immutable fallible `MirRelationExpr` visitor.
Post-order immutable fallible `MirRelationExpr` visitor.
Post - order immutable fallible ` MirRelationExpr ` visitor .
pub fn try_visit_post<'a, F, E>(&'a self, f: &mut F) -> Result<(), E>
    where
        F: FnMut(&'a MirRelationExpr) -> Result<(), E>,
        E: From<RecursionLimitError>,
    {
        MirRelationExprVisitor::new().try_visit_post(self, f)
    }
pub fn try_visit_post < ' a , F , E > ( & ' a self , f : & mut F ) -> Result < ( ) , E > where F : FnMut ( & ' a MirRelationExpr ) -> Result < ( ) , E > , E : From < RecursionLimitError > , { MirRelationExprVisitor :: new ( ) . try_visit_post ( self , f ) }
Post-order immutable fallible `MirRelationExpr` visitor.
Post - order immutable fallible ` MirRelationExpr ` visitor .
&'a self
f
&mut F
&'a self
f
&mut F