UNPKG
lean4-code-actions
Version:
latest (1.1.32)
1.1.32
Refactorings and snippets for Lean 4
lean4-code-actions
/
libs
/
generic
/
models
/
Array.ts
2 lines
(1 loc)
•
49 B
text/typescript
View Raw
1
2
export
const
getLength = <T>
(
a: T[]
) =>
a.
length