private fun destroy

pthreads :: NativePthreadMutex :: destroy

Property definitions

pthreads $ NativePthreadMutex :: destroy 
	fun destroy `{ pthread_mutex_destroy(self); `}
lib/pthreads/pthreads.nit:221,2--47
Nit tools. Version .