Function vstd::std_specs::result::err

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