left-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

: left-endpoint-< ( i1 i2 -- ? )
    {
        [ swap interval-subset? ]
        [ nip interval-singleton? ]
        [ [ from>> ] bi@ endpoint= ]
    } 2&& ;