Module vstd::thread

Structs

• IsThread
  Proof object that guarantees the owning thread has the given ThreadId.
• JoinHandle
  Object returned by spawn() to allow thread joining. (Wrapper around std::thread::JoinHandle.)
• ThreadId
  Wrapper around Rust’s ThreadId object. This is an opaque type.

Functions

• ghost_thread_id
• spawn
• thread_id