Function extern_spec_T_AsMut__slice_T__slice_T_as_mut 

pub fn extern_spec_T_AsMut__slice_T__slice_T_as_mut<T>(
    self_: &mut [T],
) -> &mut [T]

extern spec for [slice<T>::as_mut]

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

ghost

ensures

self