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

Refactorings and snippets for Lean 4

import { getArrayComparisons } from '../arithmetic/order'
import { DateBasicArithmetic } from './DateBasicArithmetic'

export const DateArrayComparisons = getArrayComparisons(DateBasicArithmetic)

export const { isAscending, isDescending, isAscendingStrict, isDescendingStrict } = DateArrayComparisons