[ library(threads) | Reference Manual | Alphabetic Index ]

mutex_destroy(+Mutex)

Destroys a mutual exclusion object
Mutex
Mutex handle or alias

Modes and Determinism

See Also

mutex_create / 1, mutex_create / 2, with_mutex / 2