Constant miri::concurrency::thread::MAIN_THREAD
source · const MAIN_THREAD: ThreadId;Expand description
The main thread. When it terminates, the whole application terminates.
const MAIN_THREAD: ThreadId;The main thread. When it terminates, the whole application terminates.