v/time/time_lin.v

16 lines
164 B
Coq
Raw Normal View History

2019-06-22 20:20:28 +02:00
module time
// in ms
fn ticks() double {
return double(0)
}
fn sleep(seconds int) {
C.sleep(seconds)
}
fn sleep_ms(seconds int) {
C.usleep(seconds * 1000)
}