Hi,

I am looking for a floating point version of the function Unix.sleep in
order to suspend execution of a program for 0.7s

Is there any such function in the standard library ?

Is there a solution outside of Threads, and GTK ?

I have looked at Unix.interval_timer but I'd rather not use it. From
what I understand, you have to add a signal handler to catch sigalrm,
and I do not see how to create a sleep function using it.

Is there a multiplatform solution ?

Thanks

-- 
Sébastien