Function vstd::std_specs::result::ex_result_err

source ·
pub exec fn ex_result_err<T, E>(result: Result<T, E>) -> opt : Option<E>
Expand description
ensures
opt == err(result),