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