Function extern_spec_std_ops_FnMut_Args_call_mut 

pub fn extern_spec_std_ops_FnMut_Args_call_mut<Self_, Args>(
    self_: &mut Self_,
    arg: Args,
) -> Self_::Output
where
    Args: Tuple,
    Self_: ?Sized + FnMut<Args>,

extern spec for ::std::ops::FnMut::call_mut

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

requires

(*self).precondition(arg)

ensures

(*self).postcondition_mut(arg, ^self, result)