vstd::std_specs::option

Function spec_unwrap_or

Source 
pub open spec fn spec_unwrap_or<T>(option: Option<T>, default: T) -> T
Expand description
{
    match option {
        Some(t) => t,
        None => default,
    }
}