 M: category-range-class class-member? inline
     [ category first ] [ category>> ] same? ; inline
 
-TUPLE: not-class class ;
+TUPLE: not-class { class read-only } ;
 
 PREDICATE: not-integer < not-class class>> integer? ;
 

SINGLETONS: beginning-of-input ^ end-of-input $ end-of-file
^unix $unix word-break ;

TUPLE: range-class from to ;
C: <range-class> range-class

TUPLE: primitive-class class ;
C: <primitive-class> primitive-class

TUPLE: category-class category ;
C: <category-class> category-class

TUPLE: category-range-class category ;
C: <category-range-class> category-range-class

TUPLE: script-class script ;
C: <script-class> script-class

GENERIC: class-member? ( obj class -- ? )

    seq length {
        { 0 [ empty ] }
        { 1 [ seq first ] }
        [ drop seq { } like class boa ]
    } case ; inline

TUPLE: class-partition integers not-integers simples not-simples and or other ;
