UNPKG
lean4-code-actions
Version:
latest (1.1.32)
1.1.32
Refactorings and snippets for Lean 4
lean4-code-actions
/
libs
/
utils
/
generator.ts
6 lines
(5 loc)
•
98 B
text/typescript
View Raw
1
2
3
4
5
6
export async
function
*
fromArray
<
T
>(
array
: T[]
)
{
for
(
const
el
of
array
) {
yield
el } }