tock
/
ai.tock.shared
/
java.util.Enumeration
Extensions for java.util.Enumeration
toSet
Extract a
Set
from an
Enumeration
.
fun
<
T
>
Enumeration
<
T
>
.
toSet
(
)
:
Set
<
T
>