Handbook
Glossary
evaluate-class-predicate ( class1 class2 -- ? )
Vocabulary
classes
.
algebra
Inputs
class1
an
object
class2
an
object
Outputs
?
an
object
Definition
USING:
combinators
kernel
;
IN:
classes.algebra
:
evaluate-class-predicate
( class1 class2 -- ? )
{
{
[
2dup
class<=
]
[
t
]
}
{
[
2dup
classes-intersect?
not
]
[
f
]
}
[
+incomparable+
]
}
cond
2nip
;