|Maintainer||Ralf Laemmel, Joost Visser|
This module is part of
StrategyLib, a library of functional strategy
combinators, including combinators for generic traversal. This module
defines combinators that iterate until some kind of fixpoint is reached.
Exhaustive repeated application at the root of the input term
Exhaustive repeated application throughout the input term.
Exhaustive repeated application according to the left-most outermost traversal strategy.
Exhaustive repeated application according to the left-most
innermost traversal strategy, implemented in a naive way.