Function vstd::std_specs::result::ok

source · 
pub open spec fn ok<T, E>(result: Result<T, E>) -> Option<T>
Expand description
{
    match result {
        Ok(t) => Some(t),
        Err(_) => None,
    }
}