The standard library Cpu_Timer api defines access to basic cpu time consumption metering functionality.
The Cpu_Timer api is implemented by the cpu_timer package.
The Cpu_Timer api source code is in src/lib/std/src/cpu-timer.api.
The above information is manually maintained and may contain errors.
api {
Cpu_Timer ;
Cpu_Times = {heapcleaner:{kernelmode_cpu_seconds:Float,
usermode_cpu_seconds:Float},
program:{kernelmode_cpu_seconds:Float,
usermode_cpu_seconds:Float}};
make_cpu_timer : Void -> Cpu_Timer;
get_cpu_timer : Void -> Cpu_Timer;
get_elapsed_cpu_seconds : Cpu_Timer -> Float;
get_elapsed_usermode_and_kernelmode_cpu_seconds : Cpu_Timer
-> {kernelmode_cpu_seconds:Float,
usermode_cpu_seconds:Float};
get_elapsed_heapcleaner_and_program_usermode_and_kernelmode_cpu_seconds : Cpu_Timer -> Cpu_Times;
get_elapsed_heapcleaner_cpu_seconds : Cpu_Timer -> Float;
get_added_cpu_seconds : Cpu_Timer -> Float;
get_added_usermode_and_kernelmode_cpu_seconds : Cpu_Timer
-> {kernelmode_cpu_seconds:Float,
usermode_cpu_seconds:Float};
get_added_heapcleaner_and_program_usermode_and_kernelmode_cpu_seconds : Cpu_Timer
-> {heapcleaner:{kernelmode_cpu_seconds:Float,
usermode_cpu_seconds:Float},
program:{kernelmode_cpu_seconds:Float,
usermode_cpu_seconds:Float}};
};