Skip to main content

extern_spec_T_JoinHandle_T_is_finished

creusot_std::std::thread

Function extern_spec_T_JoinHandle_T_is_finished 

Source 
pub fn extern_spec_T_JoinHandle_T_is_finished<T>(self_: &JoinHandle<T>) -> bool
Expand description

extern spec for JoinHandle<T>::is_finished

This is not a real function: its only use is for documentation.

ensures 

true