Module Thread_utils

EINTR-safe wrappers around Thread functions. Each function retries automatically when interrupted by a signal, except wait_signal which returns on EINTR (any signal was received) and retries only on Sys_error "interrupted system call".

val delay : float -> unit
val wait_signal : int list -> unit