lean4-code-actions/libs/utils/Date/filter.ts

Refactorings and snippets for Lean 4

import { equal } from '../date'

export const byDate = (date: Date) => (object: { date: Date }) => equal(object.date, date)