lean4-code-actions/libs/utils/NonEmptyArray/predicates.ts

Refactorings and snippets for Lean 4

import { NonEmptyArray } from './index'

export const isNonEmptyArray = <T>(array: T[]): array is NonEmptyArray<T> => {
  return array.length > 0
}