Function vstd::std_specs::result::unwrap_err

source · 
pub exec fn unwrap_err<T: Debug, E>(result: Result<T, E>) -> e : E
Expand description
requires
result.is_Err(),
ensures
e == result.get_Err_0(),