extern_spec_T_UnsafeCell_T_new

creusot_contracts::std::cell

Function extern_spec_T_UnsafeCell_T_new 

Source 
pub fn extern_spec_T_UnsafeCell_T_new<T>(value: T) -> UnsafeCell<T>
Expand description

extern spec for UnsafeCell<T>::new

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

terminates

ghost