HERMIT.Dictionary.AlphaConversion

Alpha-Renaming and Shadowing

externals

Alpha-Renaming

alphaR

alphaLamR

alphaCaseBinderR

alphaAltWithR

alphaAltVarsR

alphaAltR

alphaCaseR

alphaLetWithR

alphaLetVarsR

alphaLetR

alphaProgConsWithR

alphaProgConsIdsR

alphaProgConsR

alphaProgR

Shadow Detection and Unshadowing

unshadowR

unshadowExprR

unshadowAltR

unshadowProgR

visibleVarsT

cloneVarAvoidingT

freshNameGenAvoiding

detectShadowsM

replaceVarR