Thread mutex type.
Source position: aliasptp.inc line 72
type pthread_mutex_t = UnixType.pthread_mutex_t;