class type par_thread = object .. end
object
end
method ptype : parallelization_type
parallelization_type
method info_string : string
string
method watch_shutdown : Unixqueue.unix_event_system -> unit
Unixqueue.unix_event_system -> unit