[micros] returns an integer representing the number of microseconds recorded on the machine's internal clock. Can be used for very precise timing of code execution to the 1/1,000,000 of a second.
Use the [micros] method. The following example times the execution of an arbitrary code sample.
var('start') = micros // code to time 'Execution time: ' + (micros - $start) + ' microseconds.'
Execution time: 1198516 microseconds.
Please note that periodically LassoSoft will go through the notes and may incorporate information from them into the documentation. Any submission here gives LassoSoft a non-exclusive license and will be made available in various formats to the Lasso community.