Handbook
Glossary
write-string ( str -- )
Vocabulary
midi
.
private
Inputs
str
an
object
Outputs
None
Definition
USING:
io
io.encodings.string
io.encodings.utf8
kernel
sequences
;
IN:
midi.private
:
write-string
( str -- )
utf8
encode
[
length
write-number
]
[
write
]
bi
;