Data.Generics.Strafunski.StrategyLib.FixpointTheme

Fixpoint Iteration

repeatTP

Fixpoint Traversal

reduce

outermost

innermost'

innermost