vstd
In vstd::std_specs::result
?
Settings
Function
vstd
::
std_specs
::
result
::
ex_result_is_err
Copy item path
source
·
[
−
]
pub
exec
fn ex_result_is_err<T, E>(result: &
Result
<T, E>) ->
b :
bool
Expand description
ensures
b == is_err(result),