UNPKG
lean4-code-actions
Version:
latest (1.1.32)
1.1.32
Refactorings and snippets for Lean 4
lean4-code-actions
/
libs
/
utils
/
lodash
/
identityStrict.ts
2 lines
(1 loc)
•
45 B
text/typescript
View Raw
1
2
export
const
identityStrict = <V>
(
v: V
) =>
v