float-valued ( 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 kernel math ;

IN: compiler.tree.propagation.known-words

: float-valued ( class interval -- class' interval' )
    over null-class? [ [ drop float ] dip ] unless ;