Type Definition rust_hawktracer::HT_TaskId[][src]

type HT_TaskId = i32;

A task scheduler's task identifier.