pub fn extern_spec_std_sync_T_Arc_T_new<T>(value: T) -> Arc<T>Expand description
extern spec for ::std::sync::Arc<T>::new
This is not a real function: its only use is for documentation.
terminates
ghost
ensures
*result@ == valuepub fn extern_spec_std_sync_T_Arc_T_new<T>(value: T) -> Arc<T>extern spec for ::std::sync::Arc<T>::new
This is not a real function: its only use is for documentation.
terminates
ghost
ensures
*result@ == value