number-valued ( class interval -- class' interval' )

Vocabulary

compiler.tree.propagation.known-words

Inputs

class	a class
interval	an interval

Outputs

class'	a class
interval'	an interval

Word description

Ensure that the class is a subclass of number.

Definition

USING: kernel math ;

IN: compiler.tree.propagation.known-words

: number-valued ( class interval -- class' interval' )
    [ number ensure-math-class ] dip ;