Commit | Line | Data |
---|---|---|
7f918cf1 CE |
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 |