Handbook
Glossary
prefixed-chars ( prefix -- chars )
Vocabulary
readline-listener
.
private
Inputs
prefix
an
object
Outputs
chars
an
object
Definition
USING:
assocs
unicode.data
;
IN:
readline-listener.private
:
prefixed-chars
( prefix -- chars )
name-map
keys
prefixed
;