UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

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

2 lines (1 loc) • 29 B

text/typescript

View Raw

1

2

export type History<T> = T[]