Function vstd::std_specs::result::is_err

pub open spec fn is_err<T, E>(result: &Result<T, E>) -> bool

{ is_variant(result, "Err") }