max-lower-bound ( i1 i2 -- n )

Vocabulary

math.intervals.private

Inputs

i1	an object
i2	an object

Outputs

n

an object

Definition

USING: accessors kernel math.order sequences ;

IN: math.intervals.private

: max-lower-bound ( i1 i2 -- n ) [ from>> first ] bi@ max ;