Module ThreadUnix
val execv : string -> string array -> unit
val execve : string -> string array -> string array -> unit
val execvp : string -> string array -> unit
val select : Unix.file_descr list -> Unix.file_descr list -> Unix.file_descr list -> float -> (Unix.file_descr list * Unix.file_descr list * Unix.file_descr list)
val open_process_full : string -> string array -> (Pervasives.in_channel * Pervasives.out_channel * Pervasives.in_channel)
val sleep : int -> unit
val socketpair : Unix.socket_domain -> Unix.socket_type -> int -> (Unix.file_descr * Unix.file_descr)
val establish_server : Pervasives.in_channel -> Pervasives.out_channel -> unit -> Unix.sockaddr -> unit