vstd::std_specs::result

Function is_err

Source 
pub open spec fn is_err<T, E>(result: &Result<T, E>) -> bool
Expand description
{ is_variant(result, "Err") }