lean4-code-actions/libs/utils/lodash/hasIntersection.ts

Refactorings and snippets for Lean 4

import { intersection } from 'remeda'

export function hasIntersection<T>(arr1: readonly T[], arr2: readonly T[]) {
  return intersection(arr1, arr2).length !== 0
}