Module thread 

Structs

Scope

Creusot’s replacement for Scope.

Traits

JoinHandleExt

Extension trait for JoinHandle.

Functions

extern_spec_std_thread_T_JoinHandle_T_is_finished

extern spec for ::std::thread::JoinHandle<T>::is_finished

extern_spec_std_thread_T_ScopedJoinHandle_T_is_finished

extern spec for ::std::thread::ScopedJoinHandle<'_, T>::is_finished

scope

Creusot wrapper around std::thread::scope.

spawn

Creusot wrapper around std::thread::spawn.