Function vstd::std_specs::result::ex_result_is_err

source ·
pub exec fn ex_result_is_err<T, E>(result: &Result<T, E>) -> b : bool
Expand description
ensures
b == is_err(result),