vstd::std_specs::result

Function spec_unwrap_err

Source 
pub open spec fn spec_unwrap_err<T: Debug, E>(result: Result<T, E>) -> E
Expand description
recommends
result is Err,
{ result->Err_0 }