19
edits
Changes
→Library Utilities
=== Library Utilities ===
'''Time Module'''
'''Timer:''' a timer is part of the time module which can be imported using the following statement:
use Time;
config const quiet: bool = false;
/* Create a Timer t */
var t: Timer;
t.start();
writeln(“Operation start”);
sleep(5);
writeln(“Operation end”);
t.stop();
If !quiet then {
/* return time in milliseconds that was recorded by the timer */
writeln(t.elapsed(TimeUnits.milliseconds));
}
t.clear();
=== Numerical Libraries ===
