valid-ranges? ( ranges -- ? )


Vocabulary
compiler.cfg.linear-scan.ranges

Inputs
rangesan object


Outputs
?an object


Definition
USING: grouping kernel math sequences ;

IN: compiler.cfg.linear-scan.ranges

: valid-ranges? ( ranges -- ? )
[ [ first2 <= ] all? ]
[ [ [ second ] [ first ] bi* <= ] monotonic? ] bi and ;