nontrivial-anonymous-complement

Vocabulary

classes.algebra.private

Definition

USING: accessors classes kernel ;

IN: classes.algebra.private

PREDICATE: nontrivial-anonymous-complement <
    anonymous-complement
    class>> dup anonymous-union?
    [ drop t ] [
        dup anonymous-intersection?
        [ drop t ] [
            dup class-members
            [ drop t ] [ class-participants ] if
        ] if
    ] if ;