Type Definition hwloc::pthread_t [] [src]

type pthread_t = HANDLE;