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

mutex_destroy(+Mutex)

Destroys a mutual exclusion object

Mutex: Mutex handle or alias

Modes and Determinism

mutex_destroy(+) is det

See Also

mutex_create / 1, mutex_create / 2, with_mutex / 2