extern_spec_T__slice_T_as_ptr

creusot_contracts::std::slice

Function extern_spec_T__slice_T_as_ptr 

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

extern spec for slice<T>::as_ptr

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

terminates

ghost