Function vstd::std_specs::result::spec_unwrap_errCopy item path

pub open spec fn spec_unwrap_err<T: Debug, E>(result: Result<T, E>) -> E

result.is_Err(),

{ result.get_Err_0() }