Previous

Up

Next

time_ms = fun [ ] I

Time in milliseconds.

Return a time in milliseconds. There is no indication on the time origin. This function should be used only to compute delays between two calls.

It seems convenient to use this function to initialize the random function.

time   srand