Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature TIMER_1997 = |
2 | sig | |
3 | type cpu_timer | |
4 | type real_timer | |
5 | val startCPUTimer: unit -> cpu_timer | |
6 | val checkCPUTimer: cpu_timer -> {usr: Time.time, sys: Time.time, gc: Time.time} | |
7 | val totalCPUTimer: unit -> cpu_timer | |
8 | val startRealTimer: unit -> real_timer | |
9 | val checkRealTimer: real_timer -> Time.time | |
10 | val totalRealTimer: unit -> real_timer | |
11 | end |