|
|
|---|
|
|
|
|---|
Check if two expressions are related by function renaming.
(expression-renamefun old new ren) → _
Old and new expressions must be of the same kind, and have constituents recursively related. Literals and paths must be identical, since they reference no functions.