vstd::thread

Function 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.