UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

6 lines (3 loc) • 109 B
1
2
3
4
5
6
import { Global } from '@jest/types' export type TestFn = Global.TestFn export type DoneFn = Global.DoneFn