extern_spec_T_UnsafeCell_T_get

creusot_contracts::std::cell

Function extern_spec_T_UnsafeCell_T_get 

Source 
pub fn extern_spec_T_UnsafeCell_T_get<T: ?Sized>(
    self_: &UnsafeCell<T>,
) -> *mut T
Expand description

extern spec for UnsafeCell<T>::get

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

terminates

ghost