Module 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