external C class OS_TIMES


Flattened version is here



Public


Features
adjust_time(
get_timeofday(
os_clock : INT ;
os_time(
p_times(
sa_pause(
set_timeofday(

The Sather Home Page