Up
module
Thread
:
sig
#
type
t
#
val
create : ('a
->
'b)
->
'a
->
t
#
val
self : unit
->
t
#
external
id :
t
->
int = "thread_id"
#
val
exit : unit
->
unit
#
val
kill :
t
->
unit
#
val
delay : float
->
unit
#
val
join :
t
->
unit
#
val
wait_read :
Unix
.
file_descr
->
unit
#
val
wait_write :
Unix
.
file_descr
->
unit
#
val
wait_timed_read :
Unix
.
file_descr
->
float
->
bool
#
val
wait_timed_write :
Unix
.
file_descr
->
float
->
bool
#
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
wait_pid : int
->
int *
Unix
.
process_status
#
val
wait_signal : int list
->
int
#
val
yield : unit
->
unit
#
val
critical_section : bool
Pervasives
.
ref
#
val
sleep : unit
->
unit
#
val
wakeup :
t
->
unit
end