extern_spec_T__slice_T_as_mut_ptr

creusot_contracts::std::slice

Function extern_spec_T__slice_T_as_mut_ptr 

Source 
pub fn extern_spec_T__slice_T_as_mut_ptr<T>(self_: &mut [T]) -> *mut T
Expand description

extern spec for slice<T>::as_mut_ptr

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

terminates

ghost