UNPKG
lean4-code-actions
Version:
latest (1.1.32)
1.1.32
Refactorings and snippets for Lean 4
lean4-code-actions
/
libs
/
utils
/
cache
/
Write
/
index.ts
4 lines
(2 loc)
•
105 B
text/typescript
View Raw
1
2
3
4
import
{
MapperP
}
from
'../../Mapper'
export
type
Write
<
Key
,
Data
> =
(
key
:
Key
) =>
MapperP
<
Data
,
void
>