Traversal functions for expressions. #
def
Lean.Expr.traverseChildren
{M : Type → Type u_1}
[Applicative M]
(f : Lean.Expr → M Lean.Expr)
:
Maps f
on each immediate child of the given expression.
Mathlib.Lean.Expr.Traverse
Maps f
on each immediate child of the given expression.