UNPKG
lean4-code-actions
Version:
latest (1.1.32)
1.1.32
Refactorings and snippets for Lean 4
lean4-code-actions
/
libs
/
generic
/
models
/
Converter.ts
2 lines
(1 loc)
•
64 B
text/typescript
View Raw
1
2
export
type
Converter
<
Input
,
Output
> =
(
input
:
Input
) =>
Output