vstd
In vstd::std_specs::result
?
Settings
Function
vstd
::
std_specs
::
result
::
ex_result_err
Copy item path
source
·
[
−
]
pub
exec
fn ex_result_err<T, E>(result:
Result
<T, E>) ->
opt :
Option
<E>
Expand description
ensures
opt == err(result),