Next: , Previous: Compile Commands, Up: REPL Commands

4.4.4.5 Profile Commands
— REPL Command: time exp

Time execution.

— REPL Command: profile exp

Profile execution.

— REPL Command: trace exp

Trace execution.