UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

8 lines (7 loc) • 90 B
1
2
3
4
5
6
7
8
/** * Inclusive */ export interface CharacterRange { start: number finish: number }