Handbook
Glossary
interesting-class? ( class1 class2 -- ? )
Vocabulary
generic
.
private
Inputs
class1
an
object
class2
an
object
Outputs
?
an
object
Definition
USING:
classes.algebra
combinators
kernel
make
;
IN:
generic.private
:
interesting-class?
( class1 class2 -- ? )
{
{
[
2dup
classes-intersect?
not
]
[
2drop
t
]
}
{
[
2dup
class<=
]
[
nip
,
t
]
}
[
2drop
f
]
}
cond
;