Module Webs_thread_pool

The type for thread pools.

make n is a thread pool with at most n threads.

exec pool task schedules task task for execution on the pool.

Warning. There's no protection against spurious exceptions raised from task.

finish pool blocks until all tasks are done and destroys the pool.