Function vstd::std_specs::result::spec_unwrap

source · 
pub open spec fn spec_unwrap<T, E: Debug>(result: Result<T, E>) -> T
Expand description
recommends
result.is_Ok(),
{ result.get_Ok_0() }