Comparing intervals
Factor handbook » The language » Numbers » Intervals
Prev:Set-theoretic operations on intervals


interval< ( i1 i2 -- ? )

interval<= ( i1 i2 -- ? )

interval> ( i1 i2 -- ? )

interval>= ( i1 i2 -- ? )

assume< ( i1 i2 -- i3 )

assume<= ( i1 i2 -- i3 )

assume> ( i1 i2 -- i3 )

assume>= ( i1 i2 -- i3 )