Function is_err Copy item path

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

{ is_variant(result, "Err") }