UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

7 lines (5 loc) • 88 B
1
2
3
4
5
6
7
export interface Bounds<N> { max: N min: N } export type BoundsBI = Bounds<bigint>