Function vstd::std_specs::result::ex_result_ok

source · 
pub exec fn ex_result_ok<T, E>(result: Result<T, E>) -> opt : Option<T>
Expand description
ensures
opt == ok(result),