UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

2 lines (1 loc) • 59 B
1
2
export type Tally<Key, Value> = { key: Key, value: Value }