tautology? ( partition -- ? )

Vocabulary

regexp.classes

Inputs

partition

an object

Outputs

?

an object

Definition

USING: accessors combinators.short-circuit kernel sequences sets
;

IN: regexp.classes

: tautology? ( partition -- ? )
    {
        [ [ simples>> ] [ not-simples>> ] bi intersects? ]
        [ other>> t swap member? ]
    } 1|| ;