Function vstd::std_specs::result::ex_result_ok

pub exec fn ex_result_ok<T, E>(result: Result<T, E>) -> opt : Option<T>

Expand description

ensures

opt == ok(result),

Function vstd::std_specs::result::ex_result_okCopy item path