Function vstd::std_specs::option::spec_unwrap

source · 
pub open spec fn spec_unwrap<T>(option: Option<T>) -> T
Expand description
recommends
option.is_Some(),
{ option.get_Some_0() }