lean4-code-actions/libs/utils/logic/exists.ts

Refactorings and snippets for Lean 4

import { Filter } from '../Filter'

/**
 * Can always be unfolded (= replaced with the predicate code where `value` is substituted with the actual value)
 */
export const exists = <T>(input: T, filter: Filter<T>) => filter(input)