Grammar

RENAME

Kind: keyword

Record: pag:keyword-rename

Canonical: Grammar

Name modification · every referencing surface enumerated first

Listed in Grammar records, after REDUCE and before ORDER.

Grounds

  • invariant:epi-declared-dependency