evaluate-class-predicate ( class1 class2 -- ? )


Vocabulary
classes.algebra

Inputs
class1an object
class2an object


Outputs
?an object


Definition