binary-op-interval ( info1 info2 quot -- newinterval )

Vocabulary

compiler.tree.propagation.known-words

Inputs

info1	an object
info2	an object
quot	an object

Outputs

newinterval

an object

Definition

USING: accessors kernel ;

IN: compiler.tree.propagation.known-words

: binary-op-interval ( info1 info2 quot -- newinterval )
    [ [ interval>> ] bi@ ] dip call ; inline