lean4-code-actions/libs/utils/luxon-business-days.d.ts

Refactorings and snippets for Lean 4

import type { DateTime as DateTimeOriginal } from 'luxon'
import { DurationInput } from 'luxon/src/duration'

declare module 'luxon-business-days' {
  export class DateTime extends DateTimeOriginal {
    plusBusiness(duration: DurationInput): DateTime;
  }
}