UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

4 lines (2 loc) 160 B
import { FilterTwo } from '../Filter' export const includesBy = <T>(filter: FilterTwo<T>) => (array: T[]) => (value: T) => !!array.find(v => filter(v, value))