may-be-rational ( class interval -- class' interval' )

Vocabulary

compiler.tree.propagation.known-words

Inputs

class	an object
interval	an object

Outputs

class'	an object
interval'	an object

Definition

USING: compiler.tree.propagation.info generic.math kernel math ;

IN: compiler.tree.propagation.known-words

: may-be-rational ( class interval -- class' interval' )
    over null-class? [ [ rational math-class-max ] dip ] unless
    ;