Handbook
Glossary
possible-boolean-values ( info -- values )
Vocabulary
compiler
.
tree
.
propagation
.
info
Inputs
info
an
object
Outputs
values
an
object
Definition
USING:
accessors
combinators
kernel
;
IN:
compiler.tree.propagation.info
:
possible-boolean-values
( info -- values )
class>>
{
{
[
dup
null-class?
]
[
{
}
]
}
{
[
dup
true-class?
]
[
{
t
}
]
}
{
[
dup
false-class?
]
[
{
f
}
]
}
[
{
t
f
}
]
}
cond
nip
;