Function vstd::std_specs::option::unwrap_or

source · 
pub exec fn unwrap_or<T>(option: Option<T>, default: T) -> T
Expand description
ensures
t == spec_unwrap_or(option, default),