external C class OS_TIMES




Public


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

The Sather Home Page