UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

8 lines (6 loc) • 110 B
1
2
3
4
5
6
7
8
/** * Format: ({ident}\.)*{ident} * Examples: * - Init.Data.List */ export type HieroNameString = string