Module Thread_pool.Helper_thread

module Helper_thread: sig .. end

type t 

A helper thread is a thread with its own dedicated work queue. Work added for the helper thread is guaranteed to be run by that thread. The helper thread only runs work explicitly supplied to it.