Function vstd::std_specs::option::ex_ok_or

source ·
pub exec fn ex_ok_or<T, E>(option: Option<T>, err: E) -> res : Result<T, E>
Expand description
ensures
res == spec_ok_or(option, err),