Function extern_spec_std_ops_Fn_Args_call 

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

extern spec for ::std::ops::Fn::call

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

requires

(*self).precondition(arg)

ensures

(*self).postcondition(arg, result)