Skip to main content

Module thread

creusot_std::std

Module thread

Structs§

Scope: Creusot’s replacement for Scope.

Traits§

JoinHandleExt: Extension trait for JoinHandle.

Functions§

extern_spec_T_JoinHandle_T_is_finished: extern spec for JoinHandle<T>::is_finished
extern_spec_T_ScopedJoinHandle_T_is_finished: extern spec for ScopedJoinHandle<'_, T>::is_finished
scope: Creusot wrapper around std::thread::scope.
spawn: Creusot wrapper around std::thread::spawn.