UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

4 lines (2 loc) • 112 B
1
2
3
4
import { BigNumber } from 'libs/utils/BigNumber/utils' export type TimeValueMap = { [key: string]: BigNumber }