Profiler commands

set profile on . / set profile off .

Turns profiling on and off. Default is off.

set clear profile on . / set clear profile off .

Controls whether profile is clear before each command. Default is on.

show profile $\lbrace$module$\rbrace$ .

Shows current profile for the given module (or in the current module if none is given). It shows both percentages and absolute rewrite counts.