math-class

Vocabulary

generic.math

Class description

The class of subtypes of number which are not null.

Definition

USING: classes classes.algebra kernel math words ;

IN: generic.math

PREDICATE: math-class < class
    dup null bootstrap-word eq?
    [ drop f ] [ number bootstrap-word class<= ] if ;