as_ptr_spec

vstd_extra::std_extra

Function as_ptr_spec 

Source 
pub uninterp fn as_ptr_spec<T>(s: &[T]) -> *const T
Expand description