Package transf :: Package lib :: Module iterate
[frames] | no frames]

Module iterate



Transformations for iterating terms.

Classes
  Repeat
Applies a transformation until it fails.
Functions
 
Rec(Def)
Recursive transformation.
Function Details

Rec(Def)

 
Recursive transformation.
Parameters:
  • Def - transformation factory whose single argument is its own definition.