Handbook
Glossary
word-name* ( obj -- str )
Vocabulary
prettyprint
.
backend
Inputs
obj
an
object
Outputs
str
an
object
Definition
IN:
prettyprint.backend
GENERIC:
word-name*
( obj -- str )
Methods
USING:
classes.algebra.private
classes.private
prettyprint.backend
sequences
;
M:
anonymous-complement
word-name*
class-name
"not{ "
" }"
surround
;
USING:
classes.algebra.private
classes.private
prettyprint.backend
sequences
;
M:
anonymous-intersection
word-name*
class-name
"intersection{ "
" }"
surround
;
USING:
classes.algebra.private
classes.private
prettyprint.backend
sequences
;
M:
anonymous-union
word-name*
class-name
"union{ "
" }"
surround
;
USING:
classes.maybe
classes.private
prettyprint.backend
sequences
;
M:
maybe
word-name*
class-name
"maybe{ "
" }"
surround
;
USING:
kernel
prettyprint.backend
prettyprint.sections
words
;
M:
word
word-name*
[
?qualified-name
"( no name )"
or
]
[
record-vocab
]
bi
;