won't-overflow? ( class interval -- ? )

Vocabulary

compiler.tree.propagation.known-words

Inputs

class	an object
interval	an object

Outputs

?

an object

Definition

USING: classes.algebra kernel math ;

IN: compiler.tree.propagation.known-words

: won't-overflow? ( class interval -- ? )
    [ fixnum class<= ] [ fits-in-fixnum? ] bi* and ;