pub fn extern_spec_T_E_Result_T_E_is_err<T, E>(self_: &Result<T, E>) -> boolExpand description
extern spec for Result<T, E>::is_err
This is not a real function: its only use is for documentation.
ghost
ensures
selfpub fn extern_spec_T_E_Result_T_E_is_err<T, E>(self_: &Result<T, E>) -> boolextern spec for Result<T, E>::is_err
This is not a real function: its only use is for documentation.
ghost
ensures
self