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

Vocabulary

math.intervals

Inputs

i1	an object
i2	an object

Outputs

?

an object

Definition

USING: accessors combinators.short-circuit kernel ;

IN: math.intervals

: right-endpoint-< ( i1 i2 -- ? )
    {
        [ interval-subset? ]
        [ drop interval-singleton? ]
        [ [ to>> ] bi@ endpoint= ]
    } 2&& ;