basis-library/system/timer.sig

   1 signature TIMER =
   2    sig
   3       type cpu_timer
   4       type real_timer
   5
   6       val checkCPUTimer: cpu_timer -> {sys: Time.time, usr: Time.time}
   7       val checkCPUTimes: cpu_timer -> {gc: {sys: Time.time,
   8                                             usr: Time.time},
   9                                        nongc: {sys: Time.time,
  10                                                usr: Time.time}}
  11       val checkGCTime: cpu_timer -> Time.time
  12       val checkRealTimer: real_timer -> Time.time
  13       val startCPUTimer: unit -> cpu_timer
  14       val startRealTimer: unit -> real_timer
  15       val totalCPUTimer: unit -> cpu_timer
  16       val totalRealTimer: unit -> real_timer
  17   end