Handbook
Glossary
random-file-name ( -- string )
Vocabulary
io.files.unique.private
Inputs
None
Outputs
string
an
object
Definition
USING:
io.files.unique
namespaces
random.data
;
IN:
io.files.unique.private
:
random-file-name
( -- string )
unique-length
get
random-string
;