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