Function extern_spec_AsMut_str_str_as_mut 

pub fn extern_spec_AsMut_str_str_as_mut(self_: &mut str) -> &mut str

extern spec for str::as_mut

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

ghost

ensures

self