right-endpoint-<= ( i1 i2 -- ? )

Vocabulary

math.intervals

Inputs

i1	an object
i2	an object

Outputs

?

an object

Definition

USING: accessors kernel ;

IN: math.intervals

: right-endpoint-<= ( i1 i2 -- ? )
    [ to>> ] [ from>> ] bi* endpoint= ;