mmtk::scheduler::worker

Type Alias ThreadId

source 
pub type ThreadId = usize;
Expand description

Represents the ID of a GC worker thread.