Traversal functions for expressions. #

Maps f on each immediate child of the given expression.

Instances For
    def Lean.Expr.foldlM {α : Type} {m : TypeType u_1} [Monad m] (f : αLean.Exprm α) (x : α) (e : Lean.Expr) :
    m α

    e.foldlM f a folds the monadic function f over the subterms of the expression e, with initial value a.

    Instances For