Function vstd::std_specs::option::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,
    }
}