= Using refactorings = Note that in the current output of the tool, the layout of the code parts changed by the refactorings are pretty printed.This does not affect the layout of those code parts that are left untouched. == Rename refactorings == * [wiki:RenameVar Variable] * [wiki:RenameFun Function] * [wiki:RenameRec Record] * [wiki:RenameRecfield Record field] * [wiki:RenameMacro Macro] * [wiki:RenameHead Header file] * [wiki:RenameMod Module file] == Function interface == * [wiki:GenFun Generalize function] * [wiki:ReordPar Reorder paremeters] * [wiki:TupleFun Tuple funpar] * [wiki:GenFunSpec Generate function specification] * [wiki:IntImp Introduce import] == Move definition == * [wiki:MoveMac Macro] * [wiki:MoveRec Record] * [wiki:MoveFun Function] == Expression structure == * [wiki:ElimVar Eliminate variable] * [wiki:MergeExp Merge expressions] * [wiki:InlineFun Inline function] * [wiki:ExtractFun Extract function] * [wiki:InlineMac Inline macro] * [wiki:ExpandFun Expand fun expression] * [wiki:ListComp List comprehensions] == Data structure == * [wiki:IntRec Introduce record] * [wiki:UpgradeModuleInterface Upgrade module interface]