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



end of expanded CLOCK