lean4-code-actions/libs/utils/index.d.ts

Refactorings and snippets for Lean 4

import '../chai/bignum.d.ts'

export { addEffect } from './zod/addEffect'

export { evolveTimes } from './Evolver/evolveTimes'

export { TestFn } from './jest/Global'

export { firstNE } from './NonEmptyArray/utils'