
mutex_destroy(+Mutex)

   Destroys a mutual exclusion object

Arguments
   Mutex               Mutex handle or alias

Type
   library(threads)

Modes and Determinism
   mutex_destroy(+) is det

See Also
   mutex_create / 1, mutex_create / 2, with_mutex / 2
