assumption ( i1 i2 op -- i3 )

Vocabulary

compiler.tree.comparisons

Inputs

i1	an object
i2	an object
op	an object

Outputs

i3

an object

Definition

USING: combinators math math.intervals ;

IN: compiler.tree.comparisons

: assumption ( i1 i2 op -- i3 )
    {
        { \ < [ assume< ] }
        { \ > [ assume> ] }
        { \ <= [ assume<= ] }
        { \ >= [ assume>= ] }
        { \ u< [ assume< ] }
        { \ u> [ assume> ] }
        { \ u<= [ assume<= ] }
        { \ u>= [ assume>= ] }
    } case ;