F.2.28 library(thread_pool)
| current_thread_pool/1 | True if Name refers to a defined thread pool. |
| thread_create_in_pool/4 | Create a thread in Pool. |
| thread_pool_create/3 | Create a pool of threads. |
| thread_pool_destroy/1 | Destroy the thread pool named Name. |
| thread_pool_property/2 | True if Property is a property of thread pool Name. |