UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

7 lines (5 loc) • 180 B
1
2
3
4
5
6
7
export interface WrappedError<Err> { type: 'WrappedError' error: Err } export const toWrappedError = <Err>(error: Err): WrappedError<Err> => ({ type: 'WrappedError', error })