blob: 6abc80edfdc18c60c31efb6dd3bb38fcb00f32f1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
#include <mlvalues.h>
#include "unix.h"
value unix_sleep(t) /* ML */
value t;
{
enter_blocking_section();
sleep(Int_val(t));
leave_blocking_section();
return Val_unit;
}
|