%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% Definitions of builtins of module System.CPUTime
%

'System.CPUTime.getCPUTime'(MS) :- getRunTime(MS).

'System.CPUTime.getElapsedTime'(MS) :- getElapsedTime(MS).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%