ARR1* : EDOP
ARR1* is an editor command.
Apply a rewrite rule (active or inactive) repeatedly
to the current edwff. If the rule is bidirectional, you will
be prompted about which direction to apply it in.
CAUTION: may not terminate.
The command format for ARR1* is:
<Ed>ARR1* <<GWFF>> RULE
<<GWFF>> "SYMBOL"
The result replaces the current wff.
TPS documentation homepage