Function vstd::thread::ghost_thread_id

source · 
pub proof fn ghost_thread_id() -> tracked res : IsThread
Expand description

Returns just the ghost object, without physically obtaining the thread ID.