base-4.14.1.0: Basic libraries

System.CPUTime

Description

The standard CPUTime library.

Synopsis

# Documentation

Computation getCPUTime returns the number of picoseconds CPU time used by the current program. The precision of this result is implementation-dependent.

The cpuTimePrecision constant is the smallest measurable difference in CPU time that the implementation can record, and is given as an integral number of picoseconds.