ANY | NONE |
expanded class interface CLOCK -- -- Time and date facilities: year, month, day, hour and seconds. -- feature(s) from CLOCK value: INTEGER -- Get the CPU clock periods if available (-1 if not). periods_per_second: INTEGER -- The number of clock periods per seconds. require value >= 0 feature(s) from CLOCK basic_clock: INTEGER basic_clock_per_sec: INTEGER end of expanded CLOCK