Function extern_spec_T__slice_T_iter_mut 

pub fn extern_spec_T__slice_T_iter_mut<T>(self_: &mut [T]) -> IterMut<'_, T>

extern spec for slice<T>::iter_mut

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

terminates

ghost

ensures

result@ == self