UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

6 lines (4 loc) • 138 B
1
2
3
4
5
6
export interface UndefinedError { type: 'UndefinedError' } export const theUndefinedError: UndefinedError = { type: 'UndefinedError' }